@inproceedings{inproceedings, title  = {{Strengthening Inferred Specifications using Search Based Testing}},

 publisher = {{IEEE}},

 url = {{https://doi.org/10.1109/icstw.2008.39 }},

 year = {{2008}},

 month = {{9}},

 author = {{Ghani K and Clark JA}},

 doi = {{10.1109/icstw.2008.39}},

 journal = {{2008 IEEE International Conference on Software Testing Verification and Validation Workshop}},

 pages = {{187-194}},

 note = {{Accessed on 2025/11/04}}}