This is the pre-print of the OOPSLA' 20 paper "A Model for Detecting Faults in Build Specifications"
Abstract: Even though various approaches developed by the many researchers, they may not be optimal ...
ecause defects constitute an unavoidable aspect of software development, discovering and removing th...
The authors proposes a reliability model for recovery block structures based on error events that ca...
SIGLEAvailable from British Library Document Supply Centre-DSC:DX210927 / BLDSC - British Library Do...
This is the artifact accompanying our paper "Model Checking for a Multi-Execution Memory Model", con...
This is the pre-print of the ICSE'20 paper "Practical Fault Detection in Puppet Programs"
This paper provides a review of model-based fault diagnosis techniques. Starting from basic principl...
This research is concerned with detecting defects in software requirements specification. Motivated ...
Contains fulltext : 72692.pdf (publisher's version ) (Closed access)Models in Soft...
Automated build systems are routinely used by software engineers to minimize the number of objects t...
Model-based development is one of the most significant areas in recent research and development acti...
AbstractThis research is concerned with detecting defects in software requirements specification. Mo...
The energy efficiency of the building HVAC systems can be improved when faults in the running system...
Much of the past work on fault diagnosis did not pay enough attention to model construction and its ...
Evidence has shown that the lack of traceability between safety requirements and both architecture a...
Abstract: Even though various approaches developed by the many researchers, they may not be optimal ...
ecause defects constitute an unavoidable aspect of software development, discovering and removing th...
The authors proposes a reliability model for recovery block structures based on error events that ca...
SIGLEAvailable from British Library Document Supply Centre-DSC:DX210927 / BLDSC - British Library Do...
This is the artifact accompanying our paper "Model Checking for a Multi-Execution Memory Model", con...
This is the pre-print of the ICSE'20 paper "Practical Fault Detection in Puppet Programs"
This paper provides a review of model-based fault diagnosis techniques. Starting from basic principl...
This research is concerned with detecting defects in software requirements specification. Motivated ...
Contains fulltext : 72692.pdf (publisher's version ) (Closed access)Models in Soft...
Automated build systems are routinely used by software engineers to minimize the number of objects t...
Model-based development is one of the most significant areas in recent research and development acti...
AbstractThis research is concerned with detecting defects in software requirements specification. Mo...
The energy efficiency of the building HVAC systems can be improved when faults in the running system...
Much of the past work on fault diagnosis did not pay enough attention to model construction and its ...
Evidence has shown that the lack of traceability between safety requirements and both architecture a...
Abstract: Even though various approaches developed by the many researchers, they may not be optimal ...
ecause defects constitute an unavoidable aspect of software development, discovering and removing th...
The authors proposes a reliability model for recovery block structures based on error events that ca...
DOI
Add to ORKG