Test sequence generation and model checking using dynamic transition relations

Author： Campos Sérgio   Grumberg Orna   Yorav Karen   Fady Copty  

Publisher： Springer Publishing Company

ISSN： 1433-2779

Source： International Journal on Software Tools for Technology Transfer, Vol.6, Iss.2, 2004-08, pp. : 174-182

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Related content

Optimal test sequence generation: an approach using ant colony optimisation

By Srivastava Praveen Ranjan  

International Journal of Computational Systems Engineering, Vol. 1, Iss. 2, 2012-11 ,pp. : 91-99

Inderscience Publishers

Access to resources Recommend Favorite

A dynamic stochastic model for automatic grammar‐based test generation

By  

SOFTWARE:PRACTICE AND EXPERIENCE, Vol. 38-0644, Iss. 11, 2015-11 ,pp. : 1519-1547

John Wiley & Sons Inc

Access to resources Recommend Favorite

A dynamic stochastic model for automatic grammar‐based test generation

By  

SOFTWARE:PRACTICE AND EXPERIENCE, Vol. 45, Iss. 11, 2015-11 ,pp. : 1519-1547

John Wiley & Sons Inc

Access to resources Recommend Favorite

Counter-example generation in symbolic abstract model-checking

By Pace Gordon   Halbwachs Nicolas   Raymond Pascal  

International Journal on Software Tools for Technology Transfer, Vol. 5, Iss. 2-3, 2004-03 ,pp. : 158-164

Springer Publishing Company

Access to resources Recommend Favorite

Symmetry reductions for model checking of concurrent dynamic software

By Iosif Radu  

International Journal on Software Tools for Technology Transfer, Vol. 6, Iss. 4, 2004-08 ,pp. : 302-319

Springer Publishing Company

Access to resources Recommend Favorite