Author:
Pardo Juan José,Núñez Manuel,Ruiz M. Carmen
Publisher
Springer Berlin Heidelberg
Reference5 articles.
1. Núñez, M., Rodríguez, I., Rubio, F.: Formal specification of multi-agent e-barter systems. Science of Computer Programming 57(2), 187–216 (2005)
2. Núñez, M., Rodríguez, I., Rubio, F.: Specification and testing of autonomous agents in e-commerce systems. Software Testing, Verification and Reliability 15(4), 211–233 (2005)
3. SCI;J.J. Pardo,2009
4. Tretmans, J.: Test generation with inputs, outputs and repetitive quiescence. Software – Concepts and Tools 17(3), 103–120 (1996)
5. Lecture Notes in Computer Science;J. Tretmans,2008
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. A Systematic Mapping Study on Test Generation from Input/Output Transition Systems;2015 41st Euromicro Conference on Software Engineering and Advanced Applications;2015-08