<XML><RECORDS><RECORD><REFERENCE_TYPE>3</REFERENCE_TYPE><REFNUM>7303</REFNUM><AUTHORS><AUTHOR>Sinnott,R.O.</AUTHOR></AUTHORS><YEAR>2003</YEAR><TITLE>Architecting Specifications for Automated Test Case Generation</TITLE><PLACE_PUBLISHED>Proceedings of International Conference on Software Engineering and Formal Methods, September 2003, Brisbane Australia </PLACE_PUBLISHED><PUBLISHER>IEEE Computer Society Press</PUBLISHER><PAGES>24-34</PAGES><LABEL>Sinnott:2003:7303</LABEL><ABSTRACT> </ABSTRACT></RECORD></RECORDS></XML>