6800 search results - page 59 / 1360 » Testing with Functions as Specifications |
154
Voted
DB
2008
15 years 2 months ago
2008
Software testing can benefit from technologies that enable evolution toward increased engineering discipline. In current practice, software developers lack practical means to dete...
119
Voted
TSD
2010
Springer
15 years 14 days ago
2010
Springer
This paper is focused on the evaluation of listening test that was realized with a view to objectively annotate expressive speech recordings and further develop a limited domain ex...
139
Voted
DATE
2008
IEEE
15 years 9 months ago
2008
IEEE
Functional, instruction-based self-testing of microprocessors has recently emerged as an effective alternative or supplement to other testing approaches, and is progressively adop...
120
Voted
AI
2005
Springer
15 years 2 months ago
2005
Springer
We present a compiler that translates a problem specification into a propositional satisfiability test (SAT). Problems are specified in a logic-based language, called NP-SPEC, whi...
146
Voted
ICSE
2009
IEEE-ACM
15 years 10 days ago
2009
IEEE-ACM
Model driven functional system testing generates test scenarios from behavioural and structural models. In order to autmatically generate tests, conditions such as invariants and ...