Faulty enterprise applications may be producing incorrect outputs or performing below
service expectations due to code vulnerabilities that do not show up in standard code …

Web developers often write test cases manually using testing frameworks such as Selenium.
Testing JavaScript-based applications is challenging as manually exploring various …

The verification of digital designs, ie, hardware or embedded hardware/software systems, is
an important task in the design process. Often more than 70% of the development time is …

Algebraic testing is an automated software testing method based on algebraic formal
specifications. It has the advantages of highly automated testing process and independence …

The SystemC language is becoming a new standard in the EDA field and many designers
are starting to use it to model complex systems. SystemC has been mainly adopted to define …

We propose a two-tiered hierarchical approach for detecting faults in embedded control
software during their runtime operation: The observed behavior is monitored against the …

Functional validation of System Level Models, such as those modeled with SystemC, is an
important and complex problem. One of the problems in their functional validation is the test …

Validating that software components meet their requirements under a particular deployment
scenario is very challenging. We describe a new approach that uses component aspects …

This paper presents general criteria for generating test inputs from state-based
specifications. Software testing can only be formalized and quantified when a solid basis for …

Traditionally, test cases are used to check whether a system conforms to its requirements.
However, to achieve good quality and coverage, large amounts of test cases are needed …