Assertion oracles are executable boolean expressions placed inside the program that
should pass (return true) for all correct executions and fail (return false) for all incorrect …

Software maintenance is the costliest phase of software life cycle and it consumes almost 70
percent of resources of development process. Software testing involves the examining the …

Researchers have used execution profiles to enable coverage-based techniques in areas
such as defect detection and fault localization. Typical profile elements include functions …

Abstract The Behaviour Driven Development (BDD) technique enables teams to specify
software requirements as example interactions with the system. Due to the use of natural …

Applying TSR techniques over large test suites Page 1 2020 UNIVERSIDADE DE LISBOA
FACULDADE DE CIÊNCIAS DEPARTAMENTO DE INFORMÁTICA Applying TSR techniques …

Algebraic specifications give succinct specifications for abstract datatypes, consisting of
equations in terms of the values of the datatypes and the operations performed on them …

Testing using manually generated test cases is the primary technique used in industry to
improve reliability of software—in fact, such ad hoc testing accounts for over half of the …

Assertion oracles are executable boolean expression placed inside the program. A perfect
assertion oracle should pass (return true) for all correct executions and fail (return false) for …