783 search results - page 36 / 157 » The TextPro Tool Suite |
APL
1998
ACM
14 years 16 days ago
1998
ACM
This article describes our experience with test suites and automated branch coverage tools for APL software maintenance, based on our use of them to verify Y2K compliance of an AP...
IADIS
2004
13 years 9 months ago
2004
This paper suggests that participatory system design methodologies may be used as a learning tool in academic environments. It reports from a successful experiment in this directi...
SIGSOFT
2007
ACM
14 years 9 months ago
2007
ACM
Regression testing, as it's commonly practiced, is unsound due to inconsistent test repair and test addition. This paper presents a new technique, differential testing, that ...
ICDE
2010
IEEE
14 years 3 months ago
2010
IEEE
Abstract— Checking if an SQL query has been written correctly is not an easy task. Formal verification is not applicable, since it is based on comparing a specification with an...
KBSE
2009
IEEE
14 years 3 months ago
2009
IEEE
—Developers often change software in ways that cause tests to fail. When this occurs, developers must determine whether failures are caused by errors in the code under test or in...