Search results

  • 2013

    Injecting mechanical faults to localize developer faults for evolving software

    Zhang, L., Zhang, L. & Khurshid, S., 2013, SPLASH Indianapolis 2013: OOPSLA 2013 - Proceedings of the 2013 International Conference on Object Oriented Programming Systems Languages and Applications. p. 765-784 20 p. (Proceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Injecting mechanical faults to localize developer faults for evolving software

    Zhang, L., Zhang, L. & Khurshid, S., Oct 2013, In: ACM SIGPLAN Notices. 48, 10, p. 765-784 20 p.

    Research output: Contribution to journalArticlepeer-review

  • Operator-based and random mutant selection: Better together

    Zhang, L., Gligoric, M., Marinov, D. & Khurshid, S., 2013, 2013 28th IEEE/ACM International Conference on Automated Software Engineering, ASE 2013 - Proceedings. p. 92-102 11 p. 6693070. (2013 28th IEEE/ACM International Conference on Automated Software Engineering, ASE 2013 - Proceedings).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Selective mutation testing for concurrent code

    Gligoric, M., Zhang, L., Pereira, C. & Pokam, G., 2013, 2013 International Symposium on Software Testing and Analysis, ISSTA 2013 - Proceedings. p. 224-234 11 p. (2013 International Symposium on Software Testing and Analysis, ISSTA 2013 - Proceedings).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • 2012

    A static approach to prioritizing JUnit test cases

    Mei, H., Hao, D., Zhang, L., Zhang, L., Zhou, J. & Rothermel, G., 2012, In: IEEE Transactions on Software Engineering. 38, 6, p. 1258-1275 18 p., 6363461.

    Research output: Contribution to journalArticlepeer-review

  • FaultTracer: A change impact and regression fault analysis tool for evolving Java programs

    Zhang, L., Kim, M. & Khurshid, S., 2012, Proceedings of the ACM SIGSOFT 20th International Symposium on the Foundations of Software Engineering, FSE 2012. (Proceedings of the ACM SIGSOFT 20th International Symposium on the Foundations of Software Engineering, FSE 2012).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Regression mutation testing

    Zhang, L., Marinov, D., Zhang, L. & Khurshid, S., 2012, 2012 International Symposium on Software Testing and Analysis, ISSTA 2012 - Proceedings. p. 331-341 11 p. (2012 International Symposium on Software Testing and Analysis, ISSTA 2012 - Proceedings).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • 2011

    An empirical study of JUnit test-suite reduction

    Zhang, L., Marinov, D., Zhang, L. & Khurshid, S., 2011, Proceedings - 22nd IEEE International Symposium on Software Reliability Engineering, ISSRE 2011. p. 170-179 10 p. 6132965. (Proceedings - International Symposium on Software Reliability Engineering, ISSRE).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
  • Localizing failure-inducing program edits based on spectrum information

    Zhang, L., Kim, M. & Khurshid, S., 2011, Proceedings of the 27th IEEE International Conference on Software Maintenance, ICSM 2011. p. 23-32 10 p. 6080769. (IEEE International Conference on Software Maintenance, ICSM).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • TestEra: A tool for testing Java programs using alloy specifications

    Khalek, S. A., Yang, G., Zhang, L., Marinov, D. & Khurshid, S., 2011, 2011 26th IEEE/ACM International Conference on Automated Software Engineering, ASE 2011, Proceedings. p. 608-611 4 p. 6100137. (2011 26th IEEE/ACM International Conference on Automated Software Engineering, ASE 2011, Proceedings).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • 2010

    Test generation via Dynamic Symbolic Execution for mutation testing

    Zhang, L., Xie, T., Zhang, L., Tillmann, N., De Halleux, J. & Mei, H., 2010, Proceedings - 2010 IEEE International Conference on Software Maintenance, ICSM 2010. 5609672. (IEEE International Conference on Software Maintenance, ICSM).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
  • 2009

    Jtop: Managing JUnit test cases in absence of coverage information

    Zhang, L., Zhou, J., Hao, D., Zhang, L. & Mei, H., 2009, ASE2009 - 24th IEEE/ACM International Conference on Automated Software Engineering. p. 677-679 3 p. 5431709. (ASE2009 - 24th IEEE/ACM International Conference on Automated Software Engineering).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Prioritizing JUnit test cases in absence of coverage information

    Zhang, L., Zhou, J., Hao, D., Zhang, L. & Mei, H., 2009, 2009 IEEE International Conference on Software Maintenance, ICSM 2009 - Proceedings of the Conference. p. 19-28 10 p. 5306350. (IEEE International Conference on Software Maintenance, ICSM).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • VIDA: Visual interactive debugging

    Hao, D., Zhang, L., Zhang, L., Sun, J. & Mei, H., 2009, 2009 31st International Conference on Software Engineering - Proceedings, ICSE 2009. p. 583-586 4 p. 5070561. (Proceedings - International Conference on Software Engineering).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution