Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Shreyansh Kumar
Test Case Generation Using UML State Diagram and OCL Expression
International Journal of Computer Applications
Related publications
Formal Test-Case Generation for UML Statecharts
A Systematic Mapping of Test Case Generation Techniques Using UML Interaction Diagrams
Journal of software: Evolution and Process
Software
Specification and Validation of Authorisation Constraints Using UML and OCL
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Test Case Generation for Real-Time System Software Using Specification Diagram
International Journal of Intelligent Engineering and Systems
Engineering
Computer Science
Measuring Test Properties Coverage for Evaluating UML/OCL Model-Based Tests
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
A Novel Approach for Optimized Test Case Generation Using Activity and Collaboration Diagram
International Journal of Computer Applications
UML Activity Diagram Use for Functional Test Suit Generation and Redundancy Removal Supported Model Driven Testing
International Journal of Engineering and Advanced Technology
Engineering
Computer Science Applications
Environmental Engineering
Ensuring Semantic Spatial Constraints in Virtual Environments Using UML/OCL
Sequential Circuit Test Generation Using Decision Diagram Models
