Amanote Research

Amanote Research

    RegisterSign In

Discover open access scientific publications

Search, annotate, share and cite publications


Publications by Mani Padmanabhan

Test Case Generation for Real-Time System Software Using Specification Diagram

International Journal of Intelligent Engineering and Systems
EngineeringComputer Science
2017English

Related publications

The SIGNAL Software Environment for Real-Time System Specification, Design, and Implementation

English

Test Case Generation Using UML State Diagram and OCL Expression

International Journal of Computer Applications
2014English

A Novel Approach for Optimized Test Case Generation Using Activity and Collaboration Diagram

International Journal of Computer Applications
2010English

Completeness, Robustness, and Safety in Real-Time Software Requirements Specification

1989English

Sequential Circuit Test Generation Using Decision Diagram Models

1999English

Real-Time Java API Specifications for High Coverage Test Generation

2012English

Automatic Generation of Run-Time Test Oracles for Distributed Real-Time Systems

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2004English

Adding Form to Real-Time System Specification and Simulation

International Journal of Software Engineering and Knowledge Engineering
Computer GraphicsComputer NetworksCommunicationsComputer-Aided DesignArtificial IntelligenceSoftware
1999English

A Real Time Memory Manager for the Real Time Specification for Java

English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy