HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Keyword:testing

Papers
Two Simulink Models with Requirements for a Simple Controller of a Pacemaker Device
Mostafa Ayesh, Namya Mehan, Ethan Dhanraj, Abdul El-Rahwan, Simon Emil Opalka, Tony Fan, Akil Hamilton, Akshay Mathews Jacob, Rahul Anthony Sundarrajan, Bryan Widjaja and Claudio Menghi
In:Proceedings of 9th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH22)
Survey of Automation Practices in Model-Driven Development and Operations
Christophe Ponsard and Valery Ramon
EasyChair Preprint no. 7760
Loan Eligibility Predictor
Pallavi Saindane, Anjali Asrani, Ajay Bathani, Kunal Dongare and Sneha Indulkar
EasyChair Preprint no. 5455
Evaluating Optimization Solvers and Robust Semantics for Simulation-Based Falsification
Johan Lidén Eddeland, Sajed Miremadi and Knut Åkesson
In:ARCH20. 7th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH20)
Investigation of the Model of Testing for Weapons and Military Equipment
Ihor Korniienko, Svitlana Korniienko, Volodymyr Dmytriiev, Anatolii Pavlenko and Dmytro Kamak
EasyChair Preprint no. 3458
HipSpec : Automating Inductive Proofs of Program Properties
Koen Claessen, Moa Johansson, Dan Rosén and Nicholas Smallbone
In:ATx'12/WInG'12: Joint Proceedings of the Workshops on Automated Theory eXploration and on Invariant Generation
Building trustworthy refactoring tools
Simon Thompson
In:VPT 2013. First International Workshop on Verification and Program Transformation
Copyright © 2012-2023 easychair.org. All rights reserved.