Search-based software engineering
M Harman, BF Jones - Information and software Technology, 2001 - Elsevier
This paper claims that a new field of software engineering research and practice is
emerging: search-based software engineering. The paper argues that software engineering …
emerging: search-based software engineering. The paper argues that software engineering …
Pre/post conditioned slicing
Th paper shows how analysis of programs in terms of pre-and postconditions can be
improved using a generalisation of conditioned program slicing called pre/post conditioned …
improved using a generalisation of conditioned program slicing called pre/post conditioned …
[PDF][PDF] Property-oriented testing based on simulated annealing
O Abdellatif-Kaddour, P Thévenod-Fosse… - Proceedings of ACS …, 2001 - homepages.laas.fr
Property-oriented testing uses the specification of a property to drive the testing process. The
aim is to validate a program with respect to a target property, that is, to exercise the program …
aim is to validate a program with respect to a target property, that is, to exercise the program …
使用Tabu 搜尋法自動找尋程式錯誤
許銀雄， 何祖鳳， 尹邦嚴， 卓輝龍 - dspace.fcu.edu.tw
產生測試資料以找出程式錯誤是軟體計劃中重要而且費時費力的一個項目.
如果測試資料可以有效的自動產生, 除了可以節省人力經費之外, 更可以提昇軟體的正確性 …
如果測試資料可以有效的自動產生, 除了可以節省人力經費之外, 更可以提昇軟體的正確性 …