Software systems play a more and more important role in our everyday life. Many relevant human activities nowadays involve the execution of a piece of software. Software has to be reliable to deliver the expected behavior, and assessing the quality of software is of primary importance to reduce the risk of runtime errors. Software testing is the most common quality assessing technique for software. Testing consists in running the system under test on a finite set of inputs, and checking the correctness of the results. Thoroughly testing a software system is expensive and requires a lot of manual work to define test inputs (stimuli used to trigger different software behaviors) and test oracles (the decision procedures checking the corre...
Software testing has been used to find software faults in order to improve its quality. To verify th...
Associated research group: Critical Systems Research GroupIn testing, the test oracle is the artifac...
How do you test a program when only a single user, with no expertise in software testing, is able to...
Test designers widely believe that the overall effective-ness and cost of software testing depends l...
The oracle problem remains one of the key challenges in software testing, for which little automated...
This HDR focuses on my work on automatic diagnosis and repair done over the past years. Among my pas...
The oracle problem remains one of the key challenges in software testing, for which little automated...
The biggest obstacle of automated software testing is the construction of test oracles. Today, it is...
Defining test oracles is crucial and central to test development, but manual construction of oracles...
Abstract—Testing involves examining the behaviour of a system in order to discover potential faults....
Thesis (S.M.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer S...
Software failure detection is typically done by comparing the running behaviors from a software unde...
Software testing is the de facto technique for correctness verification. Although there are differen...
Software testing is an effective, yet expensive, method to improve software quality. Test automation...
We introduce a technique for assessing and improving test oracles by reducing the incidence of both ...
Software testing has been used to find software faults in order to improve its quality. To verify th...
Associated research group: Critical Systems Research GroupIn testing, the test oracle is the artifac...
How do you test a program when only a single user, with no expertise in software testing, is able to...
Test designers widely believe that the overall effective-ness and cost of software testing depends l...
The oracle problem remains one of the key challenges in software testing, for which little automated...
This HDR focuses on my work on automatic diagnosis and repair done over the past years. Among my pas...
The oracle problem remains one of the key challenges in software testing, for which little automated...
The biggest obstacle of automated software testing is the construction of test oracles. Today, it is...
Defining test oracles is crucial and central to test development, but manual construction of oracles...
Abstract—Testing involves examining the behaviour of a system in order to discover potential faults....
Thesis (S.M.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer S...
Software failure detection is typically done by comparing the running behaviors from a software unde...
Software testing is the de facto technique for correctness verification. Although there are differen...
Software testing is an effective, yet expensive, method to improve software quality. Test automation...
We introduce a technique for assessing and improving test oracles by reducing the incidence of both ...
Software testing has been used to find software faults in order to improve its quality. To verify th...
Associated research group: Critical Systems Research GroupIn testing, the test oracle is the artifac...
How do you test a program when only a single user, with no expertise in software testing, is able to...