Software Testing with Statistical Partial Oracles - - Application to Neural Networks Software -. | 0 | 0.34 | 2020 |
Refinement and Proof Based Development of Systems Characterized by Continuous Functions. | 3 | 0.49 | 2015 |
Using Alloy in Introductory Courses of Formal Methods. | 0 | 0.34 | 2014 |
Inductive Verification of Hybrid Automata with Strongest Postcondition Calculus. | 0 | 0.34 | 2013 |
Model-based Power Consumption Analysis of Smartphone Applications. | 0 | 0.34 | 2013 |
Integrated Model Checking of Static Structure and Dynamic Behavior using Temporal Description Logics. | 2 | 0.49 | 2011 |
Incremental Construction of Counterexamples in Model Checking Web Documents. | 4 | 0.46 | 2010 |
Constructing FODA Feature Diagrams with a GUI-based Tool | 1 | 0.37 | 2009 |
Highly Reliable Embedded Software Development Using Advanced Software Technologies | 2 | 0.39 | 2005 |
Project Report: High-Reliable Object-Oriented Embedded Software Design | 2 | 0.85 | 2004 |
Using Algebraic Specification Techniques in Development of Object-Oriented Frameworks | 4 | 0.41 | 1999 |