Computational science: ...Error, Nature, vol.467, issue.7317, pp.775-777, 2010. ,
DOI : 10.1353/mcb.2006.0061
Exception handling: issues and a proposed notation, Communications of the ACM, vol.18, issue.12, pp.683-696, 1975. ,
DOI : 10.1145/361227.361230
Java Language Specification, 2005. ,
Exception Handling: A Field Study in Java and .NET, Proceedings of the European Conference on Object-Oriented Programming, pp.151-175, 2007. ,
DOI : 10.1007/978-3-540-73589-2_8
Automatic repair of buggy if conditions and missing preconditions with SMT, Proceedings of the 6th International Workshop on Constraints in Software Testing, Verification, and Analysis, CSTVA 2014, pp.30-39, 2014. ,
DOI : 10.1145/2593735.2593740
URL : https://hal.archives-ouvertes.fr/hal-00977798
Extending Modula-2 to Build Large, Integrated Systems, IEEE Software, vol.3, issue.6, pp.46-57, 1986. ,
DOI : 10.1109/MS.1986.229476
From dependability to resilience, Proceedings of the International Conference on Dependable Systems and Networks, 2008. ,
Resilience in computer systems and networks, Proceedings of the 2009 International Conference on Computer-Aided Design, ICCAD '09, pp.74-77, 2009. ,
DOI : 10.1145/1687399.1687415
Software testing techniques, 2003. ,
Programs, tests, and oracles, Proceeding of the 33rd international conference on Software engineering, ICSE '11, pp.391-400, 2011. ,
DOI : 10.1145/1985793.1985847
Prioritizing test cases for regression testing, IEEE Transactions on Software Engineering, vol.27, issue.10, pp.929-948, 2001. ,
DOI : 10.1109/32.962562
Visualization of test information to assist fault localization, Proceedings of the 24th international conference on Software engineering , ICSE '02, pp.467-477, 2002. ,
DOI : 10.1145/581396.581397
Dynamically discovering likely program invariants to support program evolution, IEEE Transactions on Software Engineering, vol.27, issue.2, pp.99-123, 2001. ,
DOI : 10.1109/32.908957
Genprog: A generic method for automatic software repair, Software Engineering IEEE Transactions on, vol.38, issue.1, pp.54-72, 2012. ,
Analysis and testing of programs with exception handling constructs, IEEE Transactions on Software Engineering, vol.26, issue.9, pp.849-871, 2000. ,
DOI : 10.1109/32.877846
Automated support for development, maintenance, and testing in the presence of implicit flow control, Proceedings. 26th International Conference on Software Engineering, pp.336-345, 2004. ,
DOI : 10.1109/ICSE.2004.1317456
Static analysis to support the evolution of exception structure in object-oriented systems, ACM Transactions on Software Engineering and Methodology, vol.12, issue.2, pp.191-221, 2003. ,
DOI : 10.1145/941566.941569
Improving exception handling with recommendations, Companion Proceedings of the 36th International Conference on Software Engineering, ICSE Companion 2014, pp.666-669, 2014. ,
DOI : 10.1145/2591062.2591087
Trading robustness for maintainability: an empirical study of evolving c# programs, Proceedings of the 36th International Conference on Software Engineering, ICSE 2014, pp.584-595, 2014. ,
DOI : 10.1145/2568225.2568308
A Model Driven Exception Management Framework for Developing Reliable Software Systems, 2006 10th IEEE International Enterprise Distributed Object Computing Conference (EDOC'06), pp.307-318, 2006. ,
DOI : 10.1109/EDOC.2006.10
Exception handling in componentbased systems: a first study, Proceedings of ECOOP'03 Workshop on Exception Hanling in Object-Oriented Systems, pp.84-91, 2003. ,
URL : https://hal.archives-ouvertes.fr/lirmm-00269724
Exception Handling and Asynchronous Active Objects: Issues and Proposal, Advanced Topics in Exception Handling Techniques, pp.81-100, 2006. ,
DOI : 10.1007/11818502_5
URL : https://hal.archives-ouvertes.fr/lirmm-00134347
jContractor: A Reflective Java Library to Support Design By Contract, Meta-Level Architectures and Reflection, pp.175-196, 1999. ,
DOI : 10.1007/3-540-48443-4_18
Exception-Chain Analysis: Revealing Exception Handling Architecture in Java Server Applications, 29th International Conference on Software Engineering (ICSE'07), 2007. ,
DOI : 10.1109/ICSE.2007.35
A domain-specific approach to architecturing error handling in pervasive computing, Proceedings of the Conference on Object Oriented Programming Systems Languages and Applications, 2010. ,
URL : https://hal.archives-ouvertes.fr/inria-00486930
An Exception Monitoring System for Java, Rapid Integration of Software Engineering Techniques, pp.71-81, 2005. ,
DOI : 10.1007/11423331_7
Barat-a front end for java, 1998. ,
Amplifying tests to validate exception handling code, Proceedings of the International Conference on Software Engineering, pp.595-605, 2012. ,
FIAT-fault injection based automated testing environment, [1988] The Eighteenth International Symposium on Fault-Tolerant Computing. Digest of Papers, pp.102-107, 1988. ,
DOI : 10.1109/FTCS.1988.5306
Fault injection experiments using FIAT, IEEE Transactions on Computers, vol.39, issue.4, pp.575-582, 1990. ,
DOI : 10.1109/12.54853
Fine: A fault injection and monitoring environment for tracing the unix system behavior under faults, IEEE Trans. Software Eng, vol.19, issue.11, pp.1105-1118, 1993. ,
A comprehensive survey of trends in oracles for software testing, 2013. ,
HOLMES: Effective statistical debugging via efficient path profiling, 2009 IEEE 31st International Conference on Software Engineering, pp.34-44, 2009. ,
DOI : 10.1109/ICSE.2009.5070506
Isolating cause-effect chains from computer programs, Proceedings of the 10th ACM SIGSOFT symposium on Foundations of software engineering, pp.1-10, 2002. ,
Low-Overhead Bug Fingerprinting for Fast Debugging, Runtime Verification, pp.460-468, 2010. ,
DOI : 10.1007/978-3-642-16612-9_35
Automatic detection and masking of nonatomic exception handling, IEEE Transactions on Software Engineering, vol.30, issue.8, pp.547-560, 2004. ,
DOI : 10.1109/TSE.2004.35
Automated test-data generation for exception conditions, Software-Practice and Experience, pp.61-79, 2000. ,
DOI : 10.1002/(SICI)1097-024X(200001)30:1<61::AID-SPE292>3.0.CO;2-9
Tracking bad apples, ACM SIGPLAN Notices, vol.42, issue.10, pp.405-422, 2007. ,
DOI : 10.1145/1297105.1297057
An Approach for Search Based Testing of Null Pointer Exceptions, 2011 Fourth IEEE International Conference on Software Testing, Verification and Validation, pp.160-169, 2011. ,
DOI : 10.1109/ICST.2011.49
Evaluating and tuning a static analysis to find null pointer bugs, ACM SIGSOFT Software Engineering Notes, pp.13-19, 2005. ,
Fault localization and repair for Java runtime exceptions, Proceedings of the eighteenth international symposium on Software testing and analysis, ISSTA '09, pp.153-164, 2009. ,
DOI : 10.1145/1572272.1572291
Accurate Interprocedural Null-Dereference Analysis for Java, 2009 IEEE 31st International Conference on Software Engineering, pp.133-143, 2009. ,
DOI : 10.1109/ICSE.2009.5070515
Null dereference analysis in practice, Proceedings of the 9th ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering, PASTE '10, pp.65-72, 2010. ,
DOI : 10.1145/1806672.1806686
Visualization of test information to assist fault localization, Proceedings of the 24th international conference on Software engineering , ICSE '02, pp.467-477, 2002. ,
DOI : 10.1145/581396.581397
Discovering faults in idiom-based exception handling, Proceeding of the 28th international conference on Software engineering , ICSE '06, pp.242-251, 2006. ,
DOI : 10.1145/1134285.1134320
Automatically patching errors in deployed software, Proceedings of the ACM SIGOPS 22nd symposium on Operating systems principles, SOSP '09, pp.87-102, 2009. ,
DOI : 10.1145/1629575.1629585
Dira: Automatic detection, identification and repair of control-hijacking attacks, NDSS, 2005. ,
Pasan: Automatic patch and signature generation for bufferoverflow attacks, 2006. ,
Mining exception-handling rules as sequence association rules, 2009 IEEE 31st International Conference on Software Engineering, pp.496-506, 2009. ,
DOI : 10.1109/ICSE.2009.5070548
Automatic patch generation learned from human-written patches, 2013 35th International Conference on Software Engineering (ICSE), 2013. ,
DOI : 10.1109/ICSE.2013.6606626
SemFix: Program repair via semantic analysis, 2013 35th International Conference on Software Engineering (ICSE), pp.772-781, 2013. ,
DOI : 10.1109/ICSE.2013.6606623
Evolving patches for software repair, Proceedings of the 13th annual conference on Genetic and evolutionary computation, GECCO '11, pp.1427-1434, 2011. ,
DOI : 10.1145/2001576.2001768
Xept: a software instrumentation method for exception handling, Proceedings The Eighth International Symposium on Software Reliability Engineering, pp.60-69, 1997. ,
DOI : 10.1109/ISSRE.1997.630848
Automatically finding patches using genetic programming, 2009 IEEE 31st International Conference on Software Engineering, pp.364-374, 2009. ,
DOI : 10.1109/ICSE.2009.5070536
Genprog: A generic method for automatic software repair, Software Engineering IEEE Transactions on, vol.38, issue.1, pp.54-72, 2012. ,
The strength of random search on automated program repair, Proceedings of the 36th International Conference on Software Engineering, ICSE 2014, pp.254-265, 2014. ,
DOI : 10.1145/2568225.2568254
Generating Fixes from Object Behavior Anomalies, 2009 IEEE/ACM International Conference on Automated Software Engineering, pp.550-554, 2009. ,
DOI : 10.1109/ASE.2009.15
Checkpointing and Rollback-Recovery for Distributed Systems, SE-13, pp.23-31, 1987. ,
DOI : 10.1109/TSE.1987.232562
Automated fixing of programs with contracts, Proceedings of the 19th international symposium on Software testing and analysis, ISSTA '10, pp.61-72, 2010. ,
DOI : 10.1145/1831708.1831716
Leveraging program equivalence for adaptive program repair: Models and first results, 2013 28th IEEE/ACM International Conference on Automated Software Engineering (ASE), pp.356-366, 2013. ,
DOI : 10.1109/ASE.2013.6693094
A novel co-evolutionary approach to automatic software bug fixing, 2008 IEEE Congress on Evolutionary Computation (IEEE World Congress on Computational Intelligence), pp.162-168, 2008. ,
DOI : 10.1109/CEC.2008.4630793
Jagr: an autonomous selfrecovering application server, Autonomic Computing Workshop. 2003. Proceedings of the, pp.168-177, 2003. ,
Automatic runtime error repair and containment via recovery shepherding, ACM SIGPLAN Notices, vol.49, issue.6, pp.227-238, 2014. ,
DOI : 10.1145/2666356.2594337
Changing Java's Semantics for Handling Null Pointer Exceptions, 2008 19th International Symposium on Software Reliability Engineering (ISSRE), pp.47-56, 2008. ,
DOI : 10.1109/ISSRE.2008.59
Progressive retry for software failure recovery in message-passing applications, IEEE Transactions on Computers, vol.46, issue.10, pp.1137-1141, 1997. ,
DOI : 10.1109/12.628398
Progressive retry for software error recovery in distributed systems FTCS-23. Digest of Papers, Fault-Tolerant Computing The Twenty-Third International Symposium on, pp.138-144, 1993. ,
ASSURE, ACM SIGPLAN Notices, vol.44, issue.3, pp.37-48, 2009. ,
DOI : 10.1145/1508284.1508250
The star (selftesting and repairing) computer: An investigation of the theory and practice of faulttolerant computer design, Computers, IEEE Transactions, pp.20-1312, 1971. ,
Starex self-repair routines: Software recovery in the jpl-star computer Highlights from Twenty-Five Years, Fault-Tolerant Computing Twenty-Fifth International Symposium on, p.201, 1995. ,
Y-branches: when you come to a fork in the road, take it, Oceans 2002 Conference and Exhibition. Conference Proceedings (Cat. No.02CH37362), pp.56-66, 2003. ,
DOI : 10.1109/PACT.2003.1238002
Characterizing Software Self-healing Systems, Computer Network Security: Fourth International Conference on Mathematical Methods, Models, and Architectures for Computer Network Security, MMM-ACNS 2007: Proceedings, pp.22-33, 2007. ,
DOI : 10.1007/978-3-540-73986-9_2
Injecting Memory Leaks to Accelerate Software Failures, 2011 IEEE 22nd International Symposium on Software Reliability Engineering, pp.260-269, 2011. ,
DOI : 10.1109/ISSRE.2011.24
Improving Exception Handling in Multi-agent Systems, Lecture Notes in Computer Science, vol.2940, pp.167-188, 2004. ,
DOI : 10.1007/978-3-540-24625-1_10
URL : https://hal.archives-ouvertes.fr/lirmm-00108829
Automating exception-safety classification, Science of Computer Programming, vol.76, issue.4, pp.278-289, 2006. ,
DOI : 10.1016/j.scico.2008.06.004
Acceptability-oriented computing, ACM SIGPLAN Notices, vol.38, issue.12, pp.57-75, 2003. ,
DOI : 10.1145/966051.966060
A study of exception handling and its dynamic optimization in Java, ACM SIGPLAN Notices, vol.36, issue.11, pp.83-95, 2001. ,
DOI : 10.1145/504311.504289
Efficient and precise modeling of exceptions for the analysis of java programs, Proceedings of the 1999 ACM SIGPLAN- SIGSOFT Workshop on Program Analysis for Software Tools and Engineering, PASTE '99, pp.21-31, 1999. ,
Exception Flows Made Explicit: An Exploratory Study, 2009 XXIII Brazilian Symposium on Software Engineering, pp.43-53, 2009. ,
DOI : 10.1109/SBES.2009.11
EJFlow, Proceedings of the 7th international conference on Aspect-oriented software development , AOSD '08, pp.72-83, 2008. ,
DOI : 10.1145/1353482.1353492
Applying 'design by contract', Computer, vol.25, issue.10, pp.40-51, 1992. ,
DOI : 10.1109/2.161279
A program structure for error detection and recovery, 1974. ,
Using fault injection to increase software test coverage, Proceedings of ISSRE '96: 7th International Symposium on Software Reliability Engineering, pp.166-174, 1996. ,
DOI : 10.1109/ISSRE.1996.558776
Compiler-directed program-fault coverage for highly available Java internet services, 2003 International Conference on Dependable Systems and Networks, 2003. Proceedings., 2003. ,
DOI : 10.1109/DSN.2003.1209969
Automatic failure-path inference: a generic introspection technique for Internet applications, Proceedings the Third IEEE Workshop on Internet Applications. WIAPP 2003, pp.132-141, 2003. ,
DOI : 10.1109/WIAPP.2003.1210298
Bytecode fault injection for Java software, Journal of Systems and Software, vol.81, issue.11, pp.2034-2043, 2008. ,
DOI : 10.1016/j.jss.2008.02.047
Improving test suites for efficient fault localization, Proceeding of the 28th international conference on Software engineering , ICSE '06, pp.82-91, 2006. ,
DOI : 10.1145/1134285.1134299
URL : https://hal.archives-ouvertes.fr/inria-00542783
Test case purification for improving fault localization, Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering, FSE 2014, 2014. ,
DOI : 10.1145/2635868.2635906
URL : https://hal.archives-ouvertes.fr/hal-01061911
The essence of functional programming, Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of programming languages , POPL '92, pp.1-14, 1992. ,
DOI : 10.1145/143165.143169
Linda in context, Communications of the ACM, vol.32, issue.4, pp.444-458, 1989. ,
DOI : 10.1145/63334.63337
The SLam calculus, Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of programming languages , POPL '98, pp.365-377, 1998. ,
DOI : 10.1145/268946.268976
Exception handling analysis and transformation using fault injection: Study of resilience against unanticipated exceptions, Information and Software Technology, vol.57, pp.66-76, 2015. ,
DOI : 10.1016/j.infsof.2014.08.004
URL : https://hal.archives-ouvertes.fr/hal-01062969
A systematic study of automated program repair: Fixing 55 out of 105 bugs for $8 each, Software Engineering (ICSE), 2012 34th International Conference on, pp.3-13, 2012. ,
Efficient automatic patch generation and defect identification in kali, Proceedings of ISSTA, ACM, 2015. ,
A critical review of " automatic patch generation learned from humanwritten patches " : An essay on the problem statement and the evaluation of automatic software repair, Proc. of the Int. Conf on Software Engineering (ICSE), p.2014 ,
Refactoring test code, Proceedings of the 2nd International Conference on Extreme Programming and Flexible Processes (XP2001) (M. Marchesi, pp.92-95, 2001. ,
A survey of software refactoring, IEEE Transactions on Software Engineering, vol.30, issue.2, pp.126-139, 2004. ,
DOI : 10.1109/TSE.2004.1265817
A test case refactoring approach for pattern-based software development, Software Quality Journal, vol.19, issue.1, pp.43-75, 2012. ,
DOI : 10.1007/s11219-011-9143-x
An Analysis and Survey of the Development of Mutation Testing, IEEE Transactions on Software Engineering, vol.37, issue.5, pp.649-678, 2011. ,
DOI : 10.1109/TSE.2010.62
Spoon v2: Large scale source code analysis and transformation for java, 2006. ,
Mutation testing applied to validate specifications based on statecharts, Proceedings 10th International Symposium on Software Reliability Engineering (Cat. No.PR00443), pp.210-219, 1999. ,
DOI : 10.1109/ISSRE.1999.809326
Mutation-Driven Generation of Unit Tests and Oracles, IEEE Transactions on Software Engineering, vol.38, issue.2, pp.278-292, 2012. ,
DOI : 10.1109/TSE.2011.93
Refactoring Test Code Safely, International Conference on Software Engineering Advances (ICSEA 2007), pp.44-44, 2007. ,
DOI : 10.1109/ICSEA.2007.57
The video store revisited?thoughts on refactoring and testing, Proc. 3rd Int'l Conf. eXtreme Programming and Flexible Processes in Software Engineering, pp.71-76, 2002. ,
Refactoring in a " test first " -world, Proc. Third Int'l Conf. eXtreme Programming and Flexible Processes in Software Eng, 2002. ,
A refactoring-based approach for test case selection and prioritization, 2013 8th International Workshop on Automation of Software Test (AST), pp.93-99, 2013. ,
DOI : 10.1109/IWAST.2013.6595798
Have things changed now?, Proceedings of the 1st workshop on Architectural and system support for improving software dependability , ASID '06, pp.25-33, 2006. ,
DOI : 10.1145/1181309.1181314
Does return null matter?, 2014 Software Evolution Week, IEEE Conference on Software Maintenance, Reengineering, and Reverse Engineering (CSMR-WCRE), pp.244-253, 2014. ,
DOI : 10.1109/CSMR-WCRE.2014.6747176
My hairiest bug war stories, Communications of the ACM, vol.40, issue.4, pp.30-37, 1997. ,
DOI : 10.1145/248448.248456
Defects4J: a database of existing faults to enable controlled testing studies for Java programs, Proceedings of the 2014 International Symposium on Software Testing and Analysis, ISSTA 2014, pp.437-440, 2014. ,
DOI : 10.1145/2610384.2628055