Biblio
Found 11 results
"Model driven code checking",
Automated Software Engineering, Special Issue on Trends in Automated Software Engineering, vol. 15, issue 3-4, pp. 283 - 297, 12/2008.
Abstract
"Swarm Verification",
Conference on Automated Software Engineering (ASE), L'Aquila, Italy, pp. 1--6, 09/2008.
"Model Checking Software Tackling Large Verification Problems with the Swarm Tool",
SPIN Workshop on Model Checking of Software (SPIN), vol. 5156, Los Angeles, CA, Springer Berlin Heidelberg, pp. 134 - 143, 08/2008.
Abstract
"Putting Flight Software Through the Paces with Testing, Model Checking, and Constraint-Solving",
In Workshop on Constraints in Formal Verification, Sydney, Australia, pp. 1--15, 08/2008.
Abstract
"Automated Testing of Planning Models",
Workshop on Model Checking and Artificial Intelligence (MoChArt), Patras, Greece, 07/2008.
Abstract
"Exploiting Traces in Static Program Analysis: Better Model Checking through printf{{\tt printf}}s",
International Journal on Software Tools for Technology Transfer, vol. 10, issue 2, pp. 131-144, 03/2008.
Abstract
"Extending Model Checking with Dynamic Analysis",
Conference on Verification, Model Checking and Abstract Interpretation, San Francisco, California, pp. 142–156, 01/2008.
Abstract
"Random Testing and Model Checking: Building a Common Framework for Nondeterministic Exploration",
Workshop on Dynamic Analysis (WODA), Seattle, Washington, ACM Press, pp. 22-28, 2008.
Abstract
"Randomized Differential Testing as a Prelude to Formal Verification",
ACM/IEEE International Conference on Software Engineering, Minneapolis, Minnesota, pp. 621–631, 05/2007.
Abstract
"New Challenges in Model Checking",
Symposium on 25 Years of Model Checking, vol. 5000, Seattle, Washington, Springer Berlin Heidelberg, pp. 65 - 76, 08/2006.
Abstract
"Exploiting traces in program analysis",
Tools and Algorithms for the Construction and Analysis of Systems (TACAS), Vienna, Austria, Springer, pp. 379–393, 03/2006.
Abstract
Facebook
LinkedIn