Keyword:testing

Papers
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