Author:
Molina Facundo,Cornejo César,Degiovanni Renzo,Regis Germán,Castro Pablo F.,Aguirre Nazareno,Frias Marcelo F.
Publisher
Springer International Publishing
Reference26 articles.
1. Bicarregui, J., Bishop, M., Dimitrakos, T., Lano, K., Maibaum, T., Matthews, B., Ritchie, B.: Supporting co-use of VDM and B by translation. In: Proceedings of VDM in 2000! (2nd VDM workshop) (2000)
2. Boyapati, C., Khurshid, S., Marinov, D.: Korat: automated testing based on Java predicates. In: Proceedings of the 2002 ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2002. ACM (2002)
3. Burdy, L., Cheon, Y., Cok, D.R., Ernst, M.D., Kiniry, J.R., Leavens, G.T., Rustan, K., Leino, M., Poll, E.: An overview of JML tools and applications. STTT 7(3), 212–232 (2005). Springer
4. Cranen, S., Groote, J.F., Reniers, M.: A linear translation from CTL* to the first-order modal mu-calculus. Theor. Comput. Sci. 412(28), 3129–3139 (2011). Elsevier
5. Lecture Notes in Computer Science;R Demasi,2013
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. EvoSpex: An Evolutionary Algorithm for Learning Postconditions;2021 IEEE/ACM 43rd International Conference on Software Engineering (ICSE);2021-05
2. Referee: A Pattern-Guided Approach for Auto Design in Compiler-Based Analyzers;2020 IEEE 27th International Conference on Software Analysis, Evolution and Reengineering (SANER);2020-02
3. Automated model repair for Alloy;Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering;2018-09-03
4. From operational to declarative specifications using a genetic algorithm;Proceedings of the 11th International Workshop on Search-Based Software Testing;2018-05-28