516 search results - page 15 / 104 » A Critical Analysis of Empirical Research in Software Testin... |
SPIN
2010
Springer
13 years 6 months ago
2010
Springer
Abstract. Context-Bounded Analysis has emerged as a practical automatic formal analysis technique for fine-grained, shared-memory concurrent software. Two recent papers (in CAV 20...
ICSE
2010
IEEE-ACM
14 years 10 days ago
2010
IEEE-ACM
Due to the expensiveness of compiling and executing a large number of mutants, it is usually necessary to select a subset of mutants to substitute the whole set of generated mutan...
TAICPART
2010
IEEE
13 years 5 months ago
2010
IEEE
Abstract. With pairwise testing, the test model is a list of N parameters. Each test case is an N-tuple; the test space is the cross product of the N parameters. A pairwise test is...
ISPASS
2006
IEEE
14 years 1 months ago
2006
IEEE
Fast, accurate, and effective performance analysis is essential for the design of modern processor architectures and improving application performance. Recent trends toward highly...
ICSM
2002
IEEE
14 years 14 days ago
2002
IEEE
A large software project may be distributed over multiple sites when the organization believes that there are not enough people to staff a single collocated team. However, previou...