1199 search results - page 201 / 240 » Software Verification and Software Engineering a Practitione... |
169
click to vote
COORDINATION
2006
Springer
15 years 9 months ago
2006
Springer
We tackle the problem of providing rigorous formal foundations to current software engineering technologies for web services. We focus on two of the most used XML-based languages f...
176
click to vote
GECCO
2006
Springer
15 years 9 months ago
2006
Springer
Adaptive Random Testing subsumes a class of algorithms that detect the first failure with less test cases than Random Testing. The present paper shows that a "reference metho...
141
click to vote
CAV
2010
Springer
15 years 9 months ago
2010
Springer
Analysis of Symbolic Executions Aws Albarghouthi1 , Arie Gurfinkel2 , Ou Wei1,3 , and Marsha Chechik1 1 Department of Computer Science, University of Toronto, Canada 2 Software Eng...
231
click to vote
ATAL
2008
Springer
15 years 8 months ago
2008
Springer
We introduce eCAT, a tool that supports deriving test cases semi-automatically from goal-based analysis diagrams, generates meaningful test inputs based on agent interaction ontol...
138
click to vote
FMCAD
2008
Springer
15 years 7 months ago
2008
Springer
The extensional theory of arrays is one of the most important ones for applications of SAT Modulo Theories (SMT) to hardware and software verification. Here we present a new T-solv...