1492 search results - page 57 / 299 » Testing Properties of Constraint-Graphs |
129
Voted
GLVLSI
2008
IEEE
15 years 10 months ago
2008
IEEE
Due to the increasing complexity of today’s embedded systems, the analysis and validation of such systems is becoming a major challenge. UML is gradually adopted in the embedded...
115
Voted
COMPSAC
2003
IEEE
15 years 8 months ago
2003
IEEE
This paper presents an agent-based software environment for testing web-based applications. The infrastructure of the system consists of a lightweight agent platform that supports...
118
click to vote
ECRTS
2009
IEEE
15 years 1 months ago
2009
IEEE
A recent result in [13] has demonstrated the existence of a sufficient global EDF schedulability test for sporadic task systems that makes the following guarantee: any task system...
164
Voted
AOSD
2011
ACM
14 years 10 months ago
2011
ACM
A Software Product Line (SPL) is a family of programs where each program is defined by a unique combination of features. Testing or checking properties of an SPL is hard as it ma...
90
Voted
COMPSAC
2003
IEEE
15 years 8 months ago
2003
IEEE
Complete interaction testing of components is too costly in all but the smallest systems. Yet component interactions are likely to cause unexpected faults. Recently, design of exp...