Results 1 to 10 of about 253,484 (163)
Systematic Literature Review on Search Based Mutation Testing [PDF]
e-Informatica Software Engineering Journal, 2017 Search based techniques have been widely applied in the domain of software testing. This Systematic Literature Review aims to present the research carried out in the field of search based approaches applied particularly to mutation testing.
Nishtha Jatana, Bharti Suri, Shweta Rani
doaj +1 more source
A Formal Verification Library Design for Behavioral Refinement of CompCert Clight
IEEE AccessAs computer systems become increasingly ubiquitous in our daily lives, ensuring the safety and reliability of system software has become a major concern across various fields of computer science.
Yoonseung Kim
doaj +1 more source
An efficient software verification using multi-layered software verification tool
International Journal of Engineering & Technology, 2018 Rapid advancements in Software Verification and Validation have been critical in the wide development of tools and techniques to identify potential Concurrent bugs and hence verify the software correctness. A concurrent program has multiple processes and shared objects.
S V. Gayetri Devi, C Nalini, N Kumar
openaire +2 more sources
Introduction to adoption of lean canvas in software test architecture design [PDF]
Computational Methods in Social Sciences, 2017 The growth of the software dependent businesses, as well as the use of electronic devices in daily life, brings new challenges requiring the software to work error free all the time, to achieve this goal software needs to be sufficiently and effectively ...
Padmaraj Nidagundi, Margarita Lukjanska
doaj
Introduction to Lean Canvas Transformation Models and Metrics in Software Testing
Applied Computer Systems, 2016 Software plays a key role nowadays in all fields, from simple up to cutting-edge technologies and most of technology devices now work on software. Software development verification and validation have become very important to produce the high quality ...
Nidagundi Padmaraj, Novickis Leonids
doaj +1 more source
Труды Института системного программирования РАН, 2018 Linux driver verification is a large application area for software verification methods, in particular, for functional, safety, and security verification. Linux driver software is industrial production code — IT infrastructures rely on its stability, and
D. Beyer, A. K. Petrenko
doaj +1 more source
Understanding Counterexamples for Relational Properties with DIbugger [PDF]
Electronic Proceedings in Theoretical Computer Science, 2019 Software verification is a tedious process that involves the analysis of multiple failed verification attempts, and adjustments of the program or specification.
Mihai Herda +8 more
doaj +1 more source
Predicate Abstractions Memory Modeling Method with Separation into Disjoint Regions
Труды Института системного программирования РАН, 2018 Software verification is a type of activity focused on software quality control and detection of errors in software. Static verification is verification without the execution of software source code.
A. R. Volkov, M. U. Mandrykin
doaj +1 more source
Ontology-Based Verification of UML Class/OCL Model
Mehran University Research Journal of Engineering and Technology, 2018 Software models describe structures, relationships and features of the software. Modern software development methodologies such as MDE (Model Driven Engineering) use models as core elements.
Abdul Hafeez +2 more
doaj +1 more source
On Verification of Software Components
International Journal of Software Engineering & Applications, 2012 13 pages, 3 ...
openaire +2 more sources