Author:
Senni Valerio,Fioravanti Fabio
Publisher
Springer Berlin Heidelberg
Reference35 articles.
1. The MAP transformation system (1995-2012), http://www.iasi.cnr.it/~proietti/system.html .
2. ICST 2009, Second International Conference on Software Testing Verification and Validation, April 1-4. IEEE Computer Society, Denver (2009)
3. Lecture Notes in Computer Science;N. Aguirre,2011
4. Bartolini, C., Bertolino, A., Marchetti, E., Polini, A.: Ws-taxi: A wsdl-based testing tool for web services. In: ICST [2], pp. 326–335 (2009)
5. Boyapati, C., Khurshid, S., Marinov, D.: Korat: automated testing based on java predicates. In: ISSTA, pp. 123–133 (2002)
Cited by
13 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Analysis and Transformation of Constrained Horn Clauses for Program Verification;Theory and Practice of Logic Programming;2021-11-15
2. MiMIs: Simple, Efficient, and Fast Bounded-Exhaustive Test Case Generators;2020 IEEE 13th International Conference on Software Testing, Validation and Verification (ICST);2020-10
3. Skeletal program enumeration for rigorous compiler testing;ACM SIGPLAN Notices;2017-09-14
4. Skeletal program enumeration for rigorous compiler testing;Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation;2017-06-14
5. Augmenting Field Data for Testing Systems Subject to Incremental Requirements Changes;ACM Transactions on Software Engineering and Methodology;2017-01-31