Author:
Balan Sergiu I.,Lamperti Gianfranco,Scandale Michele
Publisher
Springer Berlin Heidelberg
Reference19 articles.
1. Aichernig, B., Jöbstl, E.: Efficient refinement checking for model-based mutation testing. In: 12th International Conference on Quality Software (QSIC 2012), pp. 21–30. IEEE, Xi’an (2012)
2. Lecture Notes in Computer Science;B.K. Aichernig,2013
3. Aichernig, B., Jöbstl, E., Tiran, S.: Model-based mutation testing via symbolic refinement checking. Science of Computer Programming (in Press, 2014)
4. Bairoch, A., Apweiler, R.: The SWISS-PROT protein sequence database and its supplement TrEMBL in 2000. Nucleic Acids Research 28(1), 45–48 (2000)
5. Balan, S., Lamperti, G., Scandale, M.: Incremental subset construction revisited. In: Neves-Silva, R., Tshirintzis, G., Uskov, V., Howlett, R., Jain, L. (eds.) Smart Digital Futures, Frontiers in Artificial Intelligence and Applications, vol. 262, pp. 25–37. IOS Press, Amsterdam (2014)
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献