@inproceedings{inproceedings, title = {{Strengthening Inferred Specifications using Search Based Testing}}, publisher = {{IEEE}}, url = {{}}, year = {{2008}}, month = {{1}}, author = {{Ghani K and Clark JA}}, doi = {{10.1109/icstw.2008.39}}, isbn = {{9780769533889}}, journal = {{2008 IEEE International Conference on Software Testing Verification and Validation Workshop}}, note = {{Accessed on 2024/12/20}}}