5159 search results - page 153 / 1032 » Structural Testing of Executables |
186
click to vote
EDCC
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. We present the PathCrawler prototype tool for the automatic generation of test-cases satisfying the rigorous all-paths criterion, with a user-defined limit on the number...
157
click to vote
BMCBI
2008
15 years 6 months ago
2008
Background: Protein structure prediction and computational protein design require efficient yet sufficiently accurate descriptions of aqueous solvent. We continue to evaluate the ...
157
click to vote
TACAS
2009
Springer
16 years 1 months ago
2009
Springer
We describe the design and implementation of an automatic invariant generator for imperative programs. While automatic invariant generation through constraint solving has been exte...
187
click to vote
ACSAC
2007
IEEE
16 years 22 days ago
2007
IEEE
With the recent rapid increase in interactive web applications that employ back-end database services, an SQL injection attack has become one of the most serious security threats....
186
click to vote
RSP
2007
IEEE
16 years 19 days ago
2007
IEEE
This paper addresses the need for formal specification and runtime verification of system-level requirements of distributed reactive systems. It describes a formalism for specifyi...