926 search results - page 104 / 186 » Tool Support for Statistical Testing of Software Components |
ICSE
2005
IEEE-ACM
14 years 8 months ago
2005
IEEE-ACM
End users develop more software than any other group of programmers, using software authoring devices such as e-mail filtering editors, by-demonstration macro builders, and spread...
EMSOFT
2008
Springer
13 years 10 months ago
2008
Springer
Aimed at verifying safety properties and improving simulation coverage for hybrid systems models of embedded control software, we propose a technique that combines numerical simul...
CHI
2009
ACM
14 years 8 months ago
2009
ACM
Debugging and diagnostic tools are some of the most important software development tools, but most expect developers choose the right code to inspect. Unfortunately, this rarely o...
IROS
2009
IEEE
14 years 2 months ago
2009
IEEE
—“AWE” is a programmable “Animated Work Environment” supporting everyday human activities, at home, work and school, in an increasingly digital society. AWE features a no...
JSS
2002
13 years 7 months ago
2002
Most software development errors are caused by incorrect or ambiguous requirement specifications gathered during the requirement elicitation and analysis phase. For the past decad...