Keyword:testing

Papers
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