Automatic verification of reduction techniques in Higher Order Logic

By Abed Sa’ed   Ait Mohamed Otmane   Al Sammane Ghiath  

Formal Aspects of Computing, Vol. 25, Iss. 6, 2013-11 ,pp. : 971-991

Springer Publishing Company

Access to resources Recommend Favorite

Empirical evaluation of optimization algorithms when used in goal-oriented automated test data generation techniques

By Xiao Man   El-Attar Mohamed   Reformat Marek   Miller James  

Empirical Software Engineering, Vol. 12, Iss. 2, 2007-04 ,pp. : 183-239

Springer Publishing Company

Access to resources Recommend Favorite

Fuzzy set-oriented neural networks based on fuzzy polynomial inference and dynamic genetic optimization

By Park Byoung-Jun   Kim Wook-Dong   Oh Sung-Kwun   Pedrycz Witold  

Knowledge and Information Systems, Vol. 39, Iss. 1, 2014-04 ,pp. : 207-240

Springer Publishing Company

Access to resources Recommend Favorite

Developments in automated verification techniques

By Flanagan Cormac   König Barbara  

International Journal on Software Tools for Technology Transfer, Vol. 16, Iss. 2, 2014-04 ,pp. : 123-125

Springer Publishing Company

Access to resources Recommend Favorite

Rewriting-Based Techniques for Runtime Verification

By Roşu Grigore  

Automated Software Engineering, Vol. 12, Iss. 2, 2005-04 ,pp. : 151-197

Springer Publishing Company

Access to resources Recommend Favorite