Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Jingfeng Cui
Towards Automated Support for Deriving Test Data From UML Statecharts
Related publications
Formal Test-Case Generation for UML Statecharts
Formal Verification of UML Statecharts With Real-Time Extensions
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
A Formal Semantics of UML StateCharts by Means of Timed Petri Nets
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Automatically Deriving a UML Analysis Model From a Use Case Model
Automated Test Generation for Optimizing Compilers With OpenMP Support
MATEC Web of Conferences
Materials Science
Engineering
Chemistry
Structure Preserving Data Abstractions for Statecharts
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Towards Automated Logistics Service Comparison - Decision Support for Logistics Network Management
Deriving Relevant Functional Measures for Automated Development Projects
Information and Software Technology
Computer Science Applications
Information Systems
Software
Novel Approach to Automated Test Data Generation for AOP
International Journal of Information and Education Technology
Computer Science Applications
Education
