✦ LIBER ✦

Model checking JAVA programs using JAVA PathFinder

✍ Scribed by Klaus Havelund; Thomas Pressburger

Publisher: Springer
Year: 2000
Tongue: English
Weight: 253 KB
Volume: 2
Category: Article
ISSN: 1433-2779
DOI: 10.1007/s100090050043

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Heuristics for model checking Java progr

Heuristics for model checking Java programs

✍ Alex Groce; Willem Visser 📂 Article 📅 2004 🏛 Springer 🌐 English ⚖ 535 KB

Model-checking multi-threaded distribute

Model-checking multi-threaded distributed Java programs

✍ Scott D. Stoller 📂 Article 📅 2002 🏛 Springer 🌐 English ⚖ 371 KB

Specifying and checking method call sequ

Specifying and checking method call sequences of Java programs

✍ Yoonsik Cheon; Ashaveena Perumandla 📂 Article 📅 2007 🏛 Springer US 🌐 English ⚖ 531 KB

Slicing Event Spaces: Towards a Java Pro

Slicing Event Spaces: Towards a Java Programs Checking Framework

✍ Néstor Cataño 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 194 KB

Java event spaces are partial orders of memory and thread actions as generated by a multi-threaded Java program in execution. This paper shows how standard techniques of slicing can be used to reduce the size of Java event spaces. Furthermore, we face the problem that arises when two or more variabl

Testing Concurrent Java Programs using R

Testing Concurrent Java Programs using Randomized Scheduling

✍ Scott D. Stoller 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 156 KB

Slicing concurrent Java programs using I

Slicing concurrent Java programs using Indus and Kaveri

✍ Venkatesh Prasad Ranganath; John Hatcliff 📂 Article 📅 2007 🏛 Springer 🌐 English ⚖ 819 KB