641 search results - page 38 / 129 » A Study in Coverage-Driven Test Generation |
100
click to vote
RE
2008
Springer
14 years 9 months ago
2008
Springer
Early phases of software development are known to be problematic, difficult to manage and errors occurring during these phases are expensive to correct. Many systems have been deve...
EMSOFT
2008
Springer
14 years 11 months ago
2008
Springer
The Simulink/Stateflow (SL/SF) environment from Mathworks is becoming the de facto standard in industry for model based development of embedded control systems. Many commercial to...
ICRA
2009
IEEE
14 years 7 months ago
2009
IEEE
In a previous paper, we developed a robotic finger equipped with optical three-axis tactile sensors, of which the sensing cell can separately detect normal and shearing forces. Wit...
ICSE
2000
IEEE-ACM
15 years 1 months ago
2000
IEEE-ACM
One of the characteristicsof object-oriented software is the complex dependency that may exist between classes due to inheritance, association and aggregation relationships. Hence...
113
click to vote
ICLP
1995
Springer
15 years 1 months ago
1995
Springer
In this paper, we describe a system, called TheoryBase, whose goal is to facilitate experimental studies of nonmonotonic reasoning systems. TheoryBase generates test default theor...