Login / Signup
Formal Test Automation: The Conference Protocol with TGV/TORX.
Lydie du Bousquet
Solofo Ramangalahy
Séverine Simon
César Viho
Axel Belinfante
René G. de Vries
Published in:
TestCom (2000)
Keyphrases
</>
formal analysis
data sets
lightweight
formal methods
tcp ip
information systems
international conference
test cases
test data
formal model
selected papers
mathematical theory