Sciweavers

3544 search results - page 39 / 709
» Software Testing
Sort
View
AMOST
2007
ACM
15 years 1 months ago
Relating counterexamples to test cases in CTL model checking specifications
Duminda Wijesekera, Paul Ammann, Lingya Sun, Gordo...
COMPSAC
2004
IEEE
15 years 1 months ago
Generating Regression Tests via Model Checking
Lihua Xu, Marcio S. Dias, Debra J. Richardson
CODES
2001
IEEE
15 years 1 months ago
SystemC: a homogenous environment to test embedded systems
Alessandro Fin, Franco Fummi, Maurizio Martignano,...
ICSE
2000
IEEE-ACM
15 years 1 months ago
Deriving test plans from architectural descriptions
Antonia Bertolino, Flavio Corradini, Paola Inverar...