4299 search results - page 265 / 860 » Concurrent Test Generation |
145
click to vote
FMOODS
2003
15 years 5 months ago
2003
The research concerning Java’s semantics and proof theory has mainly focussed on various aspects of sequential sub-languages. Java, however, integrates features of a class-based ...
148
click to vote
RTAS
1997
IEEE
15 years 8 months ago
1997
IEEE
ÐThis paper describes MTSim, an extensible, customizable simulation platform for the Modechart toolset (MT). MTSim provides support for ªplugging inº user-defined viewers useful...
124
click to vote
ISI
2010
Springer
15 years 2 months ago
2010
Springer
—Fear of crime is a central topic in the field of victimization. In particular, criminologists are interested in the environmental structures and cues that generate fear. Resear...
153
click to vote
ICCAD
2003
IEEE
15 years 9 months ago
2003
IEEE
Domino circuits have been used in most modern high-performance microprocessor designs because of their high speed, low transistor-count and hazard-free operation. However, with te...
174
click to vote
AMOST
2007
ACM
15 years 8 months ago
2007
ACM
We have devised a novel technique to automatically generate test cases for a software system, combining black-box model-based testing with white-box parameterized unit testing. Th...