Sciweavers

8398 search results - page 131 / 1680
» Optimal Software Testing
Sort
View
SIGSOFT
2007
ACM
16 years 3 months ago
Test suite prioritization by interaction coverage
Event-driven software (EDS) is a widely used class of software that takes sequences of events as input, changes state, and outputs new event sequences. Managing the size of tests ...
Renée C. Bryce, Atif M. Memon
108
Voted
PASTE
2005
ACM
15 years 8 months ago
An empirical framework for comparing effectiveness of testing and property-based formal analysis
Today, many formal analysis tools are not only used to provide certainty but are also used to debug software systems – a role that has traditional been reserved for testing tool...
Jeremy S. Bradbury, James R. Cordy, Jürgen Di...
SIGSOFT
2007
ACM
16 years 3 months ago
Quantifying the effectiveness of testing via efficient residual path profiling
Software testing is extensively used for uncovering bugs in large, complex software. Testing relies on well designed regression test suites that anticipate all reasonable software...
Trishul M. Chilimbi, Aditya V. Nori, Kapil Vaswani
ISQED
2002
IEEE
129views Hardware» more  ISQED 2002»
15 years 7 months ago
Design Method and Automation of Comparator Generation for Flash A/D Converter
The design methods and the automation of the comparator circuit layout generation for a flash A/D converter are presented in this paper. The threshold inverter quantization (TIQ)...
Daegyu Lee, Jincheol Yoo, Kyusun Choi
IIWAS
2008
15 years 3 months ago
WEB-PerformCharts: a collaborative web-based tool for test case generation from statecharts
Distributed development of software has turned into a natural and modern approach where teams spread over the world cooperate to develop a software product, and this has become po...
Alessandro Oliveira Arantes, Nandamudi Lankalapall...