scientific article; zbMATH DE number 2079901

MaRDI QIDQ4472043zbMATH OpenFDO

Authors Fulvio Corno, Matteo Sonza Reorda, Giovanni Squillero

Publication date 3 August 2004

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2279/22790183.htm

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Computing methodologies and applications (68U99) Reliability, availability, maintenance, inspection in operations research (90B25) Reliability, testing and fault tolerance of networks and computer systems (68M15)

Recommendations

• Markov modelling and parameterisation of genetic evolutionary test generations
• scientific article; zbMATH DE number 2046114
• Test generation of the digital circuits based on the genetic algorithms
• Observations in using parallel and sequential evolutionary algorithms for automatic software testing
• scientific article; zbMATH DE number 1962881

Cited in

(3)

• Markov modelling and parameterisation of genetic evolutionary test generations
• A novel RTL behavioral description based ATPG method
• Efficient techniques for automatic verification-oriented test set optimization

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4472043)