Information Technology Reference
In-Depth Information
15. Ronkko, M., Ravn, A.P.: Switches and jumps in hybrid action systems. Technical
Report 152, Turku Centre for Computer Science (1997)
16. Ronkko, M., Ravn, A.P., Sere, K.: Hybrid action systems. Theoretical Computer
Science 290, 937-973 (2003)
17. Tretmans, J.: Test generation with inputs, outputs and repetitive quiescence. Soft-
ware - Concepts and Tools 17(3), 103-120 (1996)
18. Weiglhofer, M., Aichernig, B., Wotawa, F.: Fault-based conformance testing in
practice. International Journal of Software and Informatics 3(2-3), 375-411 (2009)
19. Weiglhofer, M., Wotawa, F.: Asynchronous input-output conformance testing. In:
Ahamed, S.I., Bertino, E., Chang, C.K., Getov, V., Liu, L., Ming, H., Subra-
manyan, R. (eds.) COMPSAC (1), pp. 154-159. IEEE Computer Society, Los
Alamitos (2009)
 
Search WWH ::




Custom Search