383 search results - page 45 / 77 » Unit testing concurrent software |
KBSE
2002
IEEE
14 years 2 months ago
2002
IEEE
Finite-state machine (FSM) models are commonly used to represent software with concurrent processes. Established model checking tools can be used to automatically test FSM models,...
GLVLSI
2009
IEEE
13 years 7 months ago
2009
IEEE
To assist in dynamic assertion-based verification, we present a method to automatically build a test vector generator from a temporal property. Based on the duality between monito...
ICAD
2004
13 years 11 months ago
2004
As a first step in studying the application of the global positioning system (GPS) in a spatial audio communication system, an experimental platform was developed using commercial...
ACE
2004
13 years 11 months ago
2004
ExamGen is a software application developed at Queensland University of Technology to assist instructors with assessment in large classes (250+). The ExamGen program was developed...
ISSTA
2000
ACM
14 years 2 months ago
2000
ACM
Increasing numbers of software developers are using the Unified Modeling Language (UML) and associated visual modeling tools as a basis for the design and implementation of their ...