Test image generation using segmental symbolic evaluation

International Journal of Networked and Distributed Computing

Volumn 2, Issue 3, 2014, Pages 135-147

  Jameel, Tahir ^a   Lin, Mengxiang ^a  

^a BEIHANG UNIVERSITY   (China)

Author keywords

Image generation; Input generation; Symbolic execution; Synthetic images; Testing; Unit testing

Indexed keywords

EID: 84947053623     PISSN: 22117938     EISSN: 22117946     Source Type: Journal    
DOI: 10.2991/ijndc.2014.2.3.3     Document Type: Article

References (25)

1. Beizer, Boris. "Software testing techniques. 1990." New York, ISBN: 0-442-20672-0.
2. King, James C. "Symbolic execution and program testing." Communications of the ACM 19.7 (1976): 385-394.
3. Knight, John C., Kevin G. Wika, and Shannon Wrege. "Exhaustive Testing as a Verification Technique." Submitted to the International Symposium on Software Testing and Analysis. 1996. J. Clerk Maxwell, A Treatise on Electricity and Magnetism, 3rd ed., vol. 2. Oxford: Clarendon, 1892, pp.68-73.
4. Ciupa, Ilinca, et al. "Finding faults: Manual testing vs. random+ testing vs. user reports." Software Reliability Engineering, 2008. ISSRE 2008. 19th International Symposium on. IEEE, 2008.
5. Korel, Bogdan. "Automated software test data generation." Software Engineering, IEEE Transactions on 16.8 (1990): 870-879.
6. Armand, Michaël, et al. "A modular integration of SAT/SMT solvers to Coq through proof witnesses." Certified Programs and Proofs. Springer Berlin Heidelberg, 2011. 135-150.
7. Clarke, Lori A. "A system to generate test data and symbolically execute programs." Software Engineering, IEEE Transactions on 3 (1976): 215-222.
8. Cadar, Cristian, et al. "Symbolic execution for software testing in practice: preliminary assessment." Proceedings of the 33rd International Conference on Software Engineering. ACM, 2011
9. Li, Yi, et al. "Symbolic posium on Principles of programming languages. ACM, 2014.
10. Clarke, Lori A., and Debra J. Richardson. "Applications of symbolic evaluation." Journal of Systems and Software 5.1 (1985): 15-35.
11. Cadar, Cristian, Daniel Dunbar, and Dawson R. Engler. "KLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs." OSDI. Vol. 8. 2008.
12. Sen, Koushik, Darko Marinov, and Gul Agha. CUTE: a concolic unit testing engine for C. Vol. 30. No. 5. ACM, 2005.
13. Godefroid, Patrice, Nils Klarlund, and Koushik Sen. "DART: directed automated random testing." ACM Sigplan Notices. Vol. 40. No. 6. ACM, 2005.
14. Larson, Eric, and Todd Austin. "High coverage detection of input-related security facults." Proceedings of the 12th conference on USENIX Security Symposium-Volume 12. USENIX Association, 2003.
15. Sen, Koushik, Darko Marinov, and Gul Agha. CUTE: a concolic unit testing engine for C. Vol. 30. No. 5. ACM, 2005.
16. Godefroid, Patrice, Nils Klarlund, and Koushik Sen. "DART: directed automated random testing." ACM Sigplan Notices. Vol. 40. No. 6. ACM, 2005.
17. Sen, Koushik, and Gul A. Agha. "Concolic testing of multithreaded programs and its application to testing security protocols." (2006).
18. Haralick, R. M. "Some neighborhood operators." Real-Time Parallel Computing. Springer US, 1981. 11-35.
19. Haralick, Robert M., Stanley R. Sternberg, and Xinhua Zhuang. "Image analysis using mathematical morphology." Pattern Analysis and Machine Intelligence, IEEE Transactions on 4 (1987): 532-550.
20. Cappelli, Raffaele, Dario Maio, and Davide Maltoni. "Synthetic fingerprint-database generation." Pattern Recognition, 2002. Proceedings. 16th International Conference on. Vol. 3. IEEE, 2002.
21. Prakosa, Adityo, et al. "Generation of synthetic but visually realistic time series of cardiac images combining a biophysical model and clinical images." Medical Imaging, IEEE Transactions on 32.1 (2013): 99-109.
22. Thomson, Chris J., Thomas T. Steck, and Ken G. Krebaum. "Synthetic Image Generation for Automatic Target Recognizer Evaluation." 1988 Orlando Technical Symposium. International Society for Optics and Photonics, 1988.
23. Mayer, Johannes. "On Testing Image Processing Applications with Statistical Methods." Software Engineering. 2005.
24. Mayer, Johannes, and Ralph Guderlei. "On random testing of image processing applications." Quality Software, 2006. QSIC 2006. Sixth International Conference on. IEEE, 2006.
25. Chiu, Sung Nok, et al. Stochastic geometry and its applications. John Wiley & Sons, 2013.APA