Search results for: Angelo Gargantini
Software Testing, Verification and Reliability > 30 > 2 > n/a - n/a
Journal of Software: Evolution and Process > 32 > 2 > n/a - n/a
Software Testing, Verification and Reliability > 29 > 1-2 > n/a - n/a
Journal of Software: Evolution and Process > 30 > 5 > n/a - n/a
Information and Software Technology > 2017 > 81 > C > 52-64
Lecture Notes in Computer Science > Abstract State Machines, B and Z > Chapter 2. ASM Papers > 71-84
Lecture Notes in Computer Science > Fundamental Approaches to Software Engineering > Analysis and Testing > 294-309
Lecture Notes in Computer Science > Abstract State Machines, B and Z > Chapter 5. ABZ Short Papers > 348-348
Lecture Notes in Computer Science > Tests and Proofs > 189-206
Lecture Notes in Computer Science > Model-Based Testing of Reactive Systems > Testing of Finite State Machines > 87-111
Lecture Notes in Computer Science > Abstract State Machines - Theory and Applications > Automatic Verication and Model Checking > 303-322