Home
EPiC Series
Kalpa Publications
Preprints
For Authors
For Editors
Keyword
:
testing
Papers
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-2021 easychair.org. All rights reserved.