ADABU

MaRDI QIDQ27614swMATHFDO

Official website http://dl.acm.org/citation.cfm?id=1138918

Cited in

(9)

• JTorX
• Rostra
• Perracotta
• SMArTIC
• JBoss
• Falcon
• SOBER
• Symbolic automata for representing big code
• Improving active Mealy machine learning for protocol conformance testing

This page was built for software: ADABU