Avijit Das and Rajib Mall


  1. [1] Z. Awedikian, K. Ayari, and G. Antoniol, MC/DC automatic test input data generation, Proc. GECCO, 2009, 1657–1664.
  2. [2] K. Sen, D. Marinov, and G. Agha, CUTE: A concolic unit testing engine for C, Proc. ESEC/FSE, 2005, 263–272.
  3. [3] P. Godefroid, N. Klarlund, and K. Sen, DART: Directed automated random testing, Proc. PLDI, 2005, 75–84.
  4. [4] RTCA, Inc., December 1992, RTCA/DO-178B, Software Considerations in Airborne Systems and Equipment Certification, Washington, DC, December, 1992.
  5. [5] J. Chilenski and S. Miller, Application of modified condition/decision coverage to software testing, Software Engineering Journal, September, 1994, 193–200.
  6. [6] K.J. Hayhurst, D.S. Veerhusen, J.J. Chilenski, and L.K. Rierson, A practical tutorial on modified condition/decision coverage, NASA/TM-2001-210876, May 2001.
  7. [7] P. Ammann, J. Offutt, and H. Huang, Coverage criteria for logical expression, Proc. ISSRE, 2003, 99–107.
  8. [8] K. Sen, Scalable automated methods for dynamic program analysis, Ph.D. Thesis, University of Illinois, Urbana Campaign, 2006.
  9. [9] J.C. King, Symbolic execution and program testing, Commun. ACM, 19(7), 1976, 385–394.
  10. [10] C. Pacheco, S.K. Lahiri, M.D. Ernst, and T. Ball, Feedback-directed random test generation, Proc. ICSE, 2007, 75–84.
  11. [11] J. Burnim and K. Sen, Heuristics for scalable dynamic test generation, Proc. ASE, 2008, 443–446.
  12. [12] R. Pandita, T. Xie, N. Tillmann, and J. de Halleux, Guided test generation for coverage criteria, Proc. ICSM, 2010, 1–10.
  13. [13] P. McMinn, Search-based software test data generation: A survey: Research articles, Software Testing, Verification and Reliability, 14(2), 2004, 105–156.
  14. [14] M.M. Mano, Digital logic and computer design. Pearson Education, Inc. (Los Angeles: California Sate University, 1979).
  15. [15] M. Karnaugh, The map method for synthesis of combinational logic circuits, Transactions of American Institute of Electrical Engineers Part I, 72(9), 1953, 593–599.
  16. [16] X. Qu and B. Robinson, A case study of concolic testing tools and their limitations, International Symposium on Empirical Software Engineering and Measurement (ESEM), 2011,117–126.

Important Links:

Go Back