IJCAI
2007
13 years 6 months ago
2007
Some Statistical Software Testing approaches rely on sampling the feasible paths in the control flow graph of the program; the difficulty comes from the tiny ratio of feasible p...
JIISIC
2008
13 years 6 months ago
2008
DBSEC
2008
13 years 6 months ago
2008
Abstract. Many security problems only become apparent after software is deployed, and in many cases a failure has occurred prior to the awareness of the problem. Although many woul...
ICSE
2000
IEEE-ACM
13 years 8 months ago
2000
IEEE-ACM
Testing is an important process that is performed to support quality assurance. Testing activities support quality assurance by gathering information about the nature of the softw...
EXPCS
2007
13 years 8 months ago
2007
In this paper, we introduce EXACT, the EXperimental Algorithmics Computational Toolkit. EXACT is a software framework for describing, controlling, and analyzing computer experimen...
ESEM
2007
ACM
13 years 8 months ago
2007
ACM
In the foreseeable future, software testing will remain one of the best tools we have at our disposal to ensure software dependability. Empirical studies are crucial to software t...
ACSE
2000
ACM
13 years 9 months ago
2000
ACM
Although testing accounts for 50% of the cost of software, it receives little treatment in most curricula. This paper presents some approaches to giving all students multiple, inc...
SIGADA
2001
Springer
13 years 9 months ago
2001
Springer
Automatic software testing is gradually becoming accepted practice in the software industry. The shrinking development cycle and higher expectation of software quality are forcing...
ISESE
2002
IEEE
13 years 9 months ago
2002
IEEE
Recent software systems contain a lot of functions to provide various services. According to this tendency, software testing becomes more difficult than before and cost of testing...
ISSRE
2003
IEEE
13 years 9 months ago
2003
IEEE
Symmetries often appear as properties of many artifical settings. In Program Testing, they can be viewed as properties of programs and can be given by the tester to check the cor...