Amanote Research
Register
Sign In
Real-Time Java API Specifications for High Coverage Test Generation
doi 10.1145/2388936.2388960
Full Text
Open PDF
Abstract
Available in
full text
Date
January 1, 2012
Authors
Wolfgang Ahrendt
Wojciech Mostowski
Gabriele Paganelli
Publisher
ACM Press
Related search
High-Level Real-Time Programming in Java
Test Generation for Very High-Level Design Language (VHDL) Specifications Used in Avionics
Automatic Generation of Run-Time Test Oracles for Distributed Real-Time Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Test Generation Based on Symbolic Specifications
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Generation of Compact Test Sets With High Defect Coverage
A Real Time Memory Manager for the Real Time Specification for Java
Test Case Generation for Real-Time System Software Using Specification Diagram
International Journal of Intelligent Engineering and Systems
Engineering
Computer Science
Model Checking Real Time Java Using Java PathFinder
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
AutoInSpec: Using Missing Test Coverage to Improve Specifications in GUIs
