2419 search results - page 113 / 484 » A Formal Approach to Software Testing |
147
click to vote
QOSA
2010
Springer
15 years 6 months ago
2010
Springer
Critical properties of software systems, such as reliability, should be considered early in the development, when they can govern crucial architectural design decisions. A number o...
106
click to vote
FASE
2007
Springer
15 years 9 months ago
2007
Springer
The size of a test-suite has a direct impact on the costs and the effort of software testing. Especially during regression testing, when software is re-tested after some modifica...
126
click to vote
CPAIOR
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. Over the past years, a number of increasingly expressive languages for modelling constraint and optimisation problems have evolved. In developing a strategy to ease the c...
144
click to vote
ISPW
2006
IEEE
15 years 9 months ago
2006
IEEE
Abstract. Zorro is a system designed to automatically determine whether a developer is complying with the Test-Driven Development (TDD) process. Automated recognition of TDD could ...
158
click to vote
PPDP
2005
Springer
15 years 8 months ago
2005
Springer
When addressing the formal validation of generated software, two main alternatives consist either to prove the correctness of compilers or to directly validate the generated code....