mithunacharya.com
Publications - Mithun P. Acharya's Homepage
http://www.mithunacharya.com/publications
Mithun P. Acharya's Homepage. Mithun P. Acharya, Chris Parnin, Nicholas A. Kraft, Aldo Dagnino, and Xiao Qu. In 38th IEEE International Conference on Software Engineering ( ICSE 2016. Austin Texas, USA, May 2016. Oracle-Based Regression Test Selection. Tingting Yu, Xiao Qu, Mithun Acharya, and Gregg Rothermel. In Proceedings of the 6th IEEE International Conference on Software Testing, Verification, and Validation ( ICST 2013. Luxembourg, March 2013. Xiao Qu, Mithun Acharya, and Brian Robinson. Internati...
cstva2013.univ-fcomte.fr
Constraints in Software Testing, Verification and Analysis - CSTVA'2013
http://cstva2013.univ-fcomte.fr/index.php?aim
Constraints in Software Testing Verification and Analysis. Co-located with the 6. Int conf. on Software Testing, Verification and Validation. Recent years have seen an increasing interest in the application of constraint solving techniques to the testing and analysis of software systems. A significant body of constraint-based techniques have been proposed and investigated in model-based testing, code-based testing, property-oriented testing, statistical testing, etc. Constraint-based test input generation.
cstva2013.univ-fcomte.fr
Constraints in Software Testing, Verification and Analysis - CSTVA'2013
http://cstva2013.univ-fcomte.fr/index.php?dates
Constraints in Software Testing Verification and Analysis. Co-located with the 6. Int conf. on Software Testing, Verification and Validation. All deadlines are implicitely set at 23:59:59 Honolulu, Hawai Time (GMT -10 hours). January 18th, 2013 (extended deadline). February 12th, 2013. February 25th, 2013. March 22nd, 2013.
iisc-seal.net
Aditya Kanade - Software Engineering and Analysis Lab (SEAL), IISc Bangalore
http://www.iisc-seal.net/kanade
Software Engineering and Analysis Lab (SEAL), IISc Bangalore. E0 323: Topics in Automated Verification. E0239: Software Reliability Techniques. MintHint: Automated Synthesis of Repair Hints. New bugs discovered by SparseRacer. Associate Professor of Computer Science and Automation. Indian Institute of Science. Bangalore - 560012, India. Software Engineering and Analysis Lab (SEAL). CSA 209 (first floor). Kanade@csa.iisc.ernet.in. Semi-supervised verified feedback generation [FSE'16]. 2012, ICISS 2012, IC...
dslab.epfl.ch
Publications - Dependable Systems Lab
http://dslab.epfl.ch/pubs
Failure Sketching: A Technique for Automated Root Cause Diagnosis of In-Production Failures. Baris Kasikci, Benjamin Schubert, Cristiano Pereira, Gilles Pokam, George Candea. ACM Symposium on Operating Systems Principles ( SOSP. Monterey, CA, Oct 2015. Improving Scalability of Symbolic Execution for Software with Complex Environment Interfaces. EPFL PhD Thesis, July 2015. Failure Sketches: A Better Way to Debug. Workshop on Hot Topics in Operating Systems ( HotOS. Kartause Ittingen, Switzerland, May 2015.
searchbasedsoftwaretesting.org
SBST 2013 - 6th International Workshop on Search-Based Software Testing
http://www.searchbasedsoftwaretesting.org/2013
6th International Workshop on. 22 March 2013, Luxembourg. Held in conjunction with ICST 2013 - IEEE International Conference on Software Testing, Verification and Validation. Program Schedule — Friday, 22 March. 09:00-10:30 Keynote and Discussion Session — Distinctive Themes and Opportunities in Search-Based Software Testing. Phil McMinn - "Searching for Readable, Realistic Test Cases". Simon Poulding - "What Does Valuable SBST Research Look Like? 11:00-12:30 Tool Competition Session. Researchers and pra...
sites.brunel.ac.uk
Home | Brunel University London
http://sites.brunel.ac.uk/mutation2013
The 8th International Workshop on Mutation Analysis. Luxembourg (associated with ICST 2013. Mutation Analysis 2013 (Mutation 2013) is the eighth in the series of international workshops focusing on mutation. It will take place in March 18, 2013 in Luxembourg. The workshop will be held in conjunction with the sixth International Conference on Software Testing, Verification, and Validation. ICST 2013). Accepted papers will be published as part of the ICST proceedings. Topics include but are not limited to:.
www2013.taicpart.org
TAICPART 2013
http://www.www2013.taicpart.org/dates.html
Testing: Academic & Industrial Conference. Practice and Research Techniques. Paper submission: January 6, 2013. Fast abstract submission: January 25, 2013. Author notification: February 8, 2013. Camera-ready version due: February 22, 2013. Conference date: March 18, 2013.
SOCIAL ENGAGEMENT