232 search results - page 2 / 47 » Asynchronous programming, analysis and testing with state ma... |
DAC
1997
ACM
14 years 3 months ago
1997
ACM
This paper presents a novel approach for automatic test pattern generation of asynchronous circuits. The techniques used for this purpose assume that the circuit can only be exerc...
ICSEA
2006
IEEE
14 years 4 months ago
2006
IEEE
— This paper describes an innovative approach to network testing based on automatically generating and analyzing state machine models of network behavior. The models are generate...
ICST
2009
IEEE
14 years 5 months ago
2009
IEEE
We propose a novel testing approach that combines information from UML sequence models and state machine models. Current approaches that rely solely on sequence models do not cons...
ICSEA
2007
IEEE
14 years 5 months ago
2007
IEEE
Automatic test data generation helps testers to validate software against user requirements more easily. Test data can be generated from many sources; for example, experience of t...
ERLANG
2003
ACM
14 years 4 months ago
2003
ACM
We present an implemented technique for generating test cases from state machine specifications. The work is motivated by a need for testing of protocols and services developed b...