Testing the Results of Static Worst-Case Execution-Time Analysis

A Comparison of Static Analysis and Evolutionary Testing for the Verification of Timing Constraints

Real-Time Systems

Approximation of Worst-Case Execution Time for Preemptive Multitasking Systems

LCTES '00 Proceedings of the ACM SIGPLAN Workshop on Languages, Compilers, and Tools for Embedded Systems

Evolutionary testing in the presence of loop-assigned flags: a testability transformation approach

ISSTA '04 Proceedings of the 2004 ACM SIGSOFT international symposium on Software testing and analysis

Search-based mutation testing for Simulink models

GECCO '05 Proceedings of the 7th annual conference on Genetic and evolutionary computation

Improving evolutionary real-time testing

Proceedings of the 8th annual conference on Genetic and evolutionary computation

The state problem for test generation in Simulink

Proceedings of the 8th annual conference on Genetic and evolutionary computation

Testing the performance of a 2D nearest point algorithm with genetic algorithm generated Gaussian distributions

Expert Systems with Applications: An International Journal

A search-based framework for automatic testing of MATLAB/Simulink models

Journal of Systems and Software

Evaluating evolutionary testability for structure-oriented testing with software measurements

Applied Soft Computing

The worst-case execution-time problem—overview of methods and survey of tools

ACM Transactions on Embedded Computing Systems (TECS)

Evolutionary functional testing

Computers and Operations Research

A systematic review of search-based testing for non-functional system properties

Information and Software Technology

Empirical evaluation of a nesting testability transformation for evolutionary testing

ACM Transactions on Software Engineering and Methodology (TOSEM)

Evolutionary software engineering, a review

Applied Soft Computing

Semi-automatic derivation of timing models for WCET analysis

Proceedings of the ACM SIGPLAN/SIGBED 2010 conference on Languages, compilers, and tools for embedded systems

Testability transformation: program transformation to improve testability

Formal methods and testing

Comparison of nearest point algorithms by genetic algorithms

Expert Systems with Applications: An International Journal

FlagRemover: A testability transformation for transforming loop-assigned flags

ACM Transactions on Software Engineering and Methodology (TOSEM)

Evolutionary testing techniques

SAGA'05 Proceedings of the Third international conference on StochasticAlgorithms: foundations and applications

Failure-Dependent timing analysis - a new methodology for probabilistic worst-case execution time analysis

MMB'12/DFT'12 Proceedings of the 16th international GI/ITG conference on Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance

Program performance spectrum

Proceedings of the 14th ACM SIGPLAN/SIGBED conference on Languages, compilers and tools for embedded systems