Home
EPiC Series
Kalpa Publications
Preprints
For Authors
For Editors
Keyword
:
testing
Papers
Microservice Test Process: Design and Implementation
Dmitrii Savchenko
,
Gleb Radchenko
,
Timo Hynninen
and
Ossi Taipale
EasyChair Preprint no. 10188
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.