Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Gabriele Paganelli
Real-Time Java API Specifications for High Coverage Test Generation
Related publications
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
