597 search results - page 13 / 120 » Formal Techniques for Java-Like Programs |
JLP
2010
13 years 3 months ago
2010
Model programs are high-level behavioral specifications used for software testing and design analysis. Composition of model programs is a versatile technique that, at one end of t...
SAS
2010
Springer
13 years 7 months ago
2010
Springer
Numerical Abstract Domains via Principal Component Analysis Gianluca Amato, Maurizio Parton, and Francesca Scozzari Universit`a di Chieti-Pescara – Dipartimento di Scienze We pro...
POPL
2012
ACM
12 years 4 months ago
2012
ACM
Software-defined networks (SDNs) are a new implementation architecture in which a controller machine manages a distributed collection of switches, by instructing them to install ...
OOPSLA
2010
Springer
13 years 7 months ago
2010
Springer
Testing is among the most effective tools available for finding bugs. Still, we know of no automatic technique for generating test cases that expose bugs involving a combination ...
ECBS
2006
IEEE
14 years 2 months ago
2006
IEEE
For complex systems that are reusing intellectual property components, functional and compositional design correctness are an important part of the design process. Common system l...