Sciweavers

3544 search results - page 360 / 709
» Software Testing
Sort
View
JSS
2010
107views more  JSS 2010»
15 years 5 months ago
An empirical investigation into branch coverage for C programs using CUTE and AUSTIN
Automated test data generation has remained a topic of considerable interest for several decades because it lies at the heart of attempts to automate the process of Software Testi...
Kiran Lakhotia, Phil McMinn, Mark Harman
ICSE
2001
IEEE-ACM
15 years 11 months ago
Fast Formal Analysis of Requirements via "Topoi Diagrams"
Early testing of requirements can decrease the cost of removing errors in software projects. However, unless done carefully, that testing process can significantly add to the cos...
Tim Menzies, John D. Powell, Michael E. Houle
181
Voted
ICSM
2000
IEEE
15 years 11 months ago
An Approach to Limit the Wynot Problem
Software evolution in a cooperative environment, where a pool of maintainers/developers contribute to the overall system changes, is challanging due to several factors, such as th...
Giuliano Antoniol, Gerardo Casazza, Aniello Cimiti...
WSC
1998
15 years 8 months ago
Architecture for a Non-deterministic Simulation Machine
Causality constraints of random discrete simulation make parallel and distributed processing difficult. Methods of applying reconfigurable logic to implement and accelerate simula...
Marc Bumble, Lee D. Coraor
BIOINFORMATICS
2005
89views more  BIOINFORMATICS 2005»
15 years 6 months ago
Doelan: a solution for quality control monitoring of microarray production
: Doelan is an automated tool to check the quality of produced DNA microarrays. This software is based on the execution of test suites on quality control data to validate batches o...
Laurent Jourdren, Stéphane Le Crom