Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Prasanna Mani
Test Case Generation for Real-Time System Software Using Specification Diagram
International Journal of Intelligent Engineering and Systems
Engineering
Computer Science
Related publications
The SIGNAL Software Environment for Real-Time System Specification, Design, and Implementation
Test Case Generation Using UML State Diagram and OCL Expression
International Journal of Computer Applications
A Novel Approach for Optimized Test Case Generation Using Activity and Collaboration Diagram
International Journal of Computer Applications
Completeness, Robustness, and Safety in Real-Time Software Requirements Specification
Sequential Circuit Test Generation Using Decision Diagram Models
Real-Time Java API Specifications for High Coverage Test Generation
Automatic Generation of Run-Time Test Oracles for Distributed Real-Time Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Adding Form to Real-Time System Specification and Simulation
International Journal of Software Engineering and Knowledge Engineering
Computer Graphics
Computer Networks
Communications
Computer-Aided Design
Artificial Intelligence
Software
A Real Time Memory Manager for the Real Time Specification for Java
