Sciweavers

291 search results - page 47 / 59
» Software-Test
Sort
View
CIBSE
2008
ACM
13 years 11 months ago
Using Refinement Checking as System Testing
Abstract. Software testing is an expensive and time-consuming activity; it is also error-prone due to human factors. But, it still is the most common effort used in the software in...
Cristiano Bertolini, Alexandre Mota
ICSE
2012
IEEE-ACM
12 years 6 days ago
make test-zesti: A symbolic execution solution for improving regression testing
Abstract—Software testing is an expensive and time consuming process, often involving the manual creation of comprehensive regression test suites. However, current testing method...
Paul Dan Marinescu, Cristian Cadar
CEC
2008
IEEE
14 years 4 months ago
A novel co-evolutionary approach to automatic software bug fixing
— Many tasks in Software Engineering are very expensive, and that has led the investigation to how to automate them. In particular, Software Testing can take up to half of the re...
Andrea Arcuri, Xin Yao
HICSS
2007
IEEE
164views Biometrics» more  HICSS 2007»
14 years 4 months ago
A Multipurpose Code Coverage Tool for Java
Most test coverage analyzers help in evaluating the effectiveness of testing by providing data on statement and branch coverage achieved during testing. If made available, the cov...
Raghu Lingampally, Atul Gupta, Pankaj Jalote
TACAS
2009
Springer
122views Algorithms» more  TACAS 2009»
14 years 4 months ago
Test Input Generation for Programs with Pointers
Software testing is an essential process to improve software quality in practice. Researchers have proposed several techniques to automate parts of this process. In particular, sym...
Dries Vanoverberghe, Nikolai Tillmann, Frank Piess...