Internal Report -DI-FBO, Supélec (2010), Kanso, B., Aiguier, M., Boulanger, F., Touil, A.: Testing of abstract components. IFIP Conference Proceedings, vol. 107, pp.
#Bilal kanso verification#
on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE X) and Protocol Specification, Testing and Verification (PSTV XVII). (eds.) Proceedings of the IFIP TC6 WG6.1 Joint Intl. In: Mizuno, T., Shiratori, N., Higashino, T., Togashi, A. Heerink, A.W., Tretmans, G.J.: Refusal testing for classes of transition systems with inputs and outputs. SIMULATION: Transactions of the Society for Modeling and Simulation International 85(11/12), 688–708 (2009) Hardebolle, C., Boulanger, F.: Exploring multi-paradigm modeling techniques. Hansen, H.H., Costa, D., Rutten, J.J.M.M.: Synthesis of mealy machines using derivatives. Jifeng, H., Hoare, C.A.R.: Unifying theories of programming. Gaston, C., Le Gall, P., Rapin, N., Touil, A.: Symbolic execution techniques for test purpose definition. In: Havelund, K., Núñez, M., Roşu, G., Wolff, B. Springer, Heidelberg (2004)įrantzen, L., Tretmans, J., Willemse, T.A.C.: A Symbolic Framework for Model-Based Testing. International Journal on Software Tools for Technology Transfer 7(4), 297–315 (2005)įiadeiro, J.L.: Categories for Software Engineering. Jéron, T., Jard, C.: TGV: theory, principles and algorithms. 63–74 (1988)īriones, L., Brinksma, E.: A test generation framework for quiescent real-time systems. Protocol Specification, Testing, and Verification (PSTV VIII), pp. Springer, Heidelberg (1991)īrinksma, E.: A theory for the derivation of tests. Joint Conference on Theory and Practice of Software Development, London, UK, vol. 2, pp. Prentice Hall International (UK) Ltd., Hertfordshire (1995)īernot, G.: Testing against formal specifications: A theoretical view. (eds.): Category theory for computing science, 2nd edn. Barbosa, L.S.: Towards a calculus of state-based software components.
0 kommentar(er)
