Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Alex Petrenko
On Test Derivation From Partial Specifications
IFIP Advances in Information and Communication Technology
Computer Networks
Information Systems
Management
Communications
Verification and Testing of Concurrent Systems With Action Races
IFIP Advances in Information and Communication Technology
Computer Networks
Information Systems
Management
Communications
Related publications
Test Generation Based on Symbolic Specifications
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Synthesizing Adaptive Test Strategies From Temporal Logic Specifications
Influence of the Changed USP Specifications on Disintegration Test Performance
Dissolution Technologies
Pharmaceutical Science
Test Selection for Object-Oriented Software Based on Formal Specifications
A Specification Translation From Behavioral Specifications to Rewrite Specifications
IEICE Transactions on Information and Systems
Electronic Engineering
Pattern Recognition
Hardware
Computer Vision
Electrical
Architecture
Artificial Intelligence
Software
JTorX: A Tool for On-Line Model-Driven Test Derivation and Execution
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Derivation of a Test Statistic for Emphysema Quantification
RainIDF: Automated Derivation of Rainfall Intensity–duration–frequency Relationship From Annual Maxima and Partial Duration Series
Journal of Hydroinformatics
Geotechnical Engineering
Civil
Engineering Geology
Atmospheric Science
Structural Engineering
Water Science
Technology
Derivation of Asymptotic Dynamical Systems With Partial Lie Symmetry Groups
Journal of Applied Mathematics
Applied Mathematics
