Specifying and Checking Method Call Sequences of Java Programs

Software Quality Journal - Netherlands
doi 10.1007/s11219-006-9001-4
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Science and Business Media LLC

Related search

Practical Virtual Method Call Resolution for Java

2000English

Specifying and Checking File System Crash-Consistency Models

ACM SIGPLAN Notices
Computer Science
2016English

Model Checking Real Time Java Using Java PathFinder

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2005English

Model Checking Concurrent Programs

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2008English

Model Checking of Concurrent Algorithms: From Java to C

IFIP Advances in Information and Communication Technology
Computer NetworksInformation SystemsManagementCommunications
2010English

: Specification and Refinement of Safety-Critical Java Programs

Science of Computer Programming
Software
2019English

Checking Sequences for Distributed Test Architectures

Distributed Computing
Computer NetworksHardwareCommunicationsArchitectureComputational TheoryMathematicsTheoretical Computer Science
2008English

Tools and Techniques for Model Checking Networked Programs

2008English

XCorpus – An Executable Corpus of Java Programs.

Journal of Object Technology
Software
2017English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy