Keyword:testing

Publications
Machine Learning-Driven Strategies for Optimizing Cloud-Based Regression Testing: Achieving Faster and More Reliable Releases Anthony Collins EasyChair Preprint 15028
Building a Satellite Image Classification Model with Residual Neural Network Kayode Sheriffdeen and Samon Daniel EasyChair Preprint 13930
Disease Prediction Using Machine Learning Saidulu Pallapati, Tarunkumar Parisa, Vinay Challa, Naga Sai Saravanan Yanamadala and Himadri Vegad EasyChair Preprint 12819
A Polyaryletherketone Biomaterial for Use in Medical Implant Applications Shravan Pargaonkar, Mangesh Prabhune, Vinaya Patil, Prachi Deshpande and Vikrant Kolhe EasyChair Preprint 11517
Microservice Test Process: Design and Implementation Dmitrii Savchenko, Gleb Radchenko, Timo Hynninen and Ossi Taipale EasyChair Preprint 10188
Survey of Automation Practices in Model-Driven Development and Operations Christophe Ponsard and Valery Ramon EasyChair Preprint 7760
Loan Eligibility Predictor Pallavi Saindane, Anjali Asrani, Ajay Bathani, Kunal Dongare and Sneha Indulkar EasyChair Preprint 5455
Investigation of the Model of Testing for Weapons and Military Equipment Ihor Korniienko, Svitlana Korniienko, Volodymyr Dmytriiev, Anatolii Pavlenko and Dmytro Kamak EasyChair Preprint 3458
ARCH-COMP26 Category Report: Falsification Tanmay Khandait, Paolo Arcaini, Georgios Fainekos, Federico Formica, Sauvik Gon, Ali Kaya, Atanu Kundu, Deyun Lyu, Claudio Menghi, Giulia Pedrielli, Ivan Porres, Rajarshi Ray, Quinn Thibeault, Masaki Waga and Zhenya Zhang In:Proceedings of 13th Int. Workshop on Applied Verification for Continuous and Hybrid Systems
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)
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)
HipSpec : Automating Inductive Proofs of Program Properties Koen Claessen, Moa Johansson, Dan Rosen and Nick 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