References

  • "Increasing software development productivity with reversible debugging" 2014.
  • "Software-artifact infrastructure repository" [online] Available: http://sir.unl.edu/.
  • A. Abadi R. Ettinger Y. Feldman M. Shomrat "Automatically fixing security vulnerabilities in Java code" Proc. Int. Conf. Object Oriented Program. Syst. Languages Appl. pp. 483-502 2011.
  • A. Arcuri "Evolutionary repair of faulty software" Appl. Soft Comput. vol. 11 no. 4 pp. 3494-3514 2011.
  • A. Arcuri "On the automation of fixing software bugs" Proc. Int. Conf. Softw. Eng. pp. 1003-1006 2008.
  • A. Arcuri X. Yao "A novel co-evolutionary approach to automatic software bug fixing" Proc. World Congr. Comput. Intell. pp. 162-168 2008.
  • A. Arcuri X. Yao "Coevolving programs and unit tests from their specification" Proc. Int. Conf. Automated Softw. Eng. pp. 397-400 2007.
  • A. Babenko L. Mariani F. Pastore "AVA: Automated interpretation of dynamically detected anomalies" Proc. Int. Symp. Softw. Testing Anal. pp. 237-248 2009.
  • A. Carzaniga A. Gorla A. Mattavelli N. Perino M. Pezzè "Automatic recovery from runtime failures" Proc. Int. Conf. Softw. Eng. pp. 782-791 2013.
  • A. Carzaniga A. Gorla N. Perino M. Pezzè "Automatic workarounds: Exploiting the intrinsic redundancy of web applications" ACM Trans. Softw. Eng. Methodologies vol. 24 no. 3 pp. 1-16 2015.
  • A. Dennis R. Monroy P. Nogueira "Proof-directed debugging and repair" Proc. Symp. Trends Functional Program. pp. 131-140 2006.
  • A. Keromytis "Characterizing self-healing software systems" Proc. Int. Conf. Math. Methods Models Archit. Comput. Netw. Secur pp. 22-33 2007.
  • A. Khalilian A. Baraani-Dastjerdi B. Zamani "On the evaluation of automatic program repair techniques and tools" Proc. Iranian Conf. Elect. Eng. pp. 61-66 2016.
  • A. Nistor P. Chang C. Radoi S. Lu "CARAMEL: Detecting and fixing performance problems that have non-intrusive fixes" Proc. Int. Conf. Softw. Eng. pp. 902-912 2015.
  • A. Smirnov T. Chiueh "Automatic patch generation for buffer overflow attacks" Proc. Int. Symp. Inform. Assurance Secur. pp. 165-170 2007.
  • A. W. Biermann "Automatic programming: A tutorial on formal methodologies" J. Symbolic Comput. vol. 1 no. 2 pp. 119-142 1985 [online] Available: http://dx.doi.org/10.1016/S0747–7171(85)80010-9.
  • A. Zeller "Isolating cause-effect chains from computer programs" Proc. Symp. Foundations Softw. Eng. pp. 1-10 2002.
  • A. Zeller "Yesterday my program worked. Today it does not. Why?" Proc. Joint Meet. Eur. Softw. Eng. Conf. Symp. Found. Softw. Eng. pp. 253-267 1999.
  • A. Zeller R. Hildebrandt "Simplifying and isolating failure-inducing input" IEEE Trans. Softw. Eng. vol. 28 no. 2 pp. 183-200 Feb. 2002.
  • A. Zeller Why Programs Fail Second Edition: A Guide to Systematic Debugging Burlington MA USA:Morgan Kaufmann 2009.
  • B. D. Le "Towards efficient and effective automatic program repair" Proc. IEEE/ACM Int. Conf. Autom. Softw. Eng. pp. 876-879 2016.
  • B. D. Le D. Lo C. Le Goues "History driven program repair" Proc. Int. Conf. Softw. Anal. Evol. and Reengineering pp. 213-224 2016.
  • B. Elkarablieh I. Garcia Y. Suen S. Khurshid "Assertion-based repair of complex data structures" Proc. Int. Conf. Autom. Softw. Eng. pp. 64-73 2007.
  • B. Hailpern S. Padmanabhan "Software debugging testing and verification" IBM Syst. J. vol. 41 no. 1 pp. 4-12 2002.
  • B. Jacob R. Lanyon-Hogg D. K. Nadgir A. F. Yassin A Practical Guide to the IBM Autonomic Computing Toolkit Armonk NY USA:IBM Redbooks 2004.
  • B. Jobstmann A. Griesmayer R. Bloem "Program repair as a game" Proc. Int. Conf. Comput. Aided Verification pp. 226-238 2005.
  • B. Liblit M. Naik A. Zheng A. Aiken M. Jordan "Scalable statistical bug isolation" Proc. Conf. Program. Language Des. Implementation pp. 15-26 2005.
  • C. Le Goues "Automatic program repair using genetic programming" 2013.
  • C. Le Goues et al. "The manybugs and introclass benchmarks for automated repair of C programs" IEEE Trans. Softw. Eng. vol. 41 no. 12 pp. 1236-1256 Dec. 2015.
  • C. Le Goues M. Dewey-Vogt S. Forrest W. Weimer "A systematic study of automated program repair: Fixing 55 out of 105 bugs for \$8 each" Proc. Int. Conf. Softw. Eng. pp. 3-13 2012.
  • C. Le Goues S. Forrest W. Weimer "Current challenges in automatic software repair" Springer Softw. Quality J. vol. 21 no. 3 pp. 421-443 2013.
  • C. Le Goues T. Nguyen S. Forrest W. Weimer "GenProg: A generic method for automatic software repair" IEEE Trans. Softw. Eng. vol. 38 no. 1 pp. 54-72 Jan./Feb. 2012.
  • C. Le Goues W. Weimer S. Forrest "Representations and operators for improving evolutionary software repair" Proc. Conf. Genetic Evol. Comput. pp. 959-966 2012.
  • C. Liu J. Yang L. Tan M. Hafiz "R2fix: Automatically generating bug fixes from bug reports" Proc. Int. Conf. Softw. Testing Verification Validation pp. 282-291 2013.
  • C. Liu X. Yan L. Fei J. Han S. P. Midkiff "Sober: Statistical model-based bug localization" Proc. Joint Meet. Eur. Softw. Eng. Conf. Symp. Foundations Softw. Eng. pp. 286-295 2005.
  • D. G. De La Iglesia D. Weyns "MAPE-K formal templates to rigorously design behaviors for self-adaptive systems" ACM Trans. Autonomous and Adaptive Syst. vol. 10 no. 3 pp. 1-15 2015.
  • D. Ghosh R. Sharman H. Rao S. Upadhyaya "Self-healing systems - survey and synthesis" Elsevier Decision Support Syst. vol. 42 no. 4 pp. 2164-2185 2007.
  • D. Jeffrey M. Feng N. Gupta R. Gupta "Bugfix: A learning-based tool to assist developers in fixing bugs" Proc. Int. Conf. Program Comprehension pp. 70-79 2009.
  • D. Kelk K. Jalbert J. S. Bradbury "Automatically repairing concurrency bug with ARC" Proc. Int. Conf. Multicore Softw. Eng. Perform. Tools pp. 73-84 2013.
  • D. Kim J. Nam J. Song S. Kim "Automatic patch generation learned from human-written patches" Proc. Int. Conf. Softw. Eng. pp. 802-811 2013.
  • D. L. Parnas "Software aspects of strategic defense systems" Commun. ACM vol. 28 no. 12 pp. 1326-1335 1985.
  • D. Lorenzoli L. Mariani M. Pezzè "Automatic generation of software behavioral models" Proc. Int. Conf. Softw. Eng. pp. 501-510 2008.
  • D. Zuddas W. Jin F. Pastore L. Mariani A. Orso "MIMIC: locating and understanding bugs by analyzing mimicked executions" Proc. Int. Conf. Automated Softw. Eng. pp. 815-826 2014.
  • E. F. Rizzi S. Elbaum M. B. Dwyer "On the techniques we create the tools we build and their misalignments: A study of KLEE" Proc. Int. Conf. Softw. Eng. pp. 132-143 2016.
  • E. Fast C. Le Goues S. Forrest W. Weimer "Designing better fitness functions for automated program repair" Proc. Conf. Genetic Evol. Comput. pp. 965-972 2010.
  • E. Schulte J. DiLorenzo W. Weimer S. Forrest "Automated repair of binary and assembly programs for cooperating embedded devices" ACM SIGPLAN Notices vol. 48 no. 4 pp. 317-328 2013.
  • E. Schulte S. Forrest W. Weimer "Automated program repair through the evolution of assembly code" Proc. Int. Conf. Autom. Softw. Eng. pp. 313-316 2010.
  • E. Smith E. Barr C. Le Goues Y. Brun "Is the cure worse than the disease? overfitting in automated program repair" Proc. Joint Meet. Eur. Softw. Eng. Conf. Symp. Found. Softw. Eng. pp. 532-543 2015.
  • E. T. Barr M. Harman P. McMinn M. Shahbaz "The oracle problem in software testing: A survey" IEEE Trans. Softw. Eng. vol. 41 no. 5 pp. 507-525 May 2015.
  • E. T. Barr T. Brun P. Devanbu M. Harman F. Sarro "The plastic surgery hypothesis" Proc. Int. Symp. Foundations Softw. Eng. pp. 306-317 2014.
  • F. Assiri J. Bieman "An assessment of the quality of automated program operator repair" Proc. Int. Conf. Softw. Testing Verification Validation pp. 273-282 2014.
  • F. Buccafurri T. Eiter G. Gottlob N. Leone "Enhancing model checking in verification by AI techniques" Artif. Intell. vol. 112 pp. 1-2 1999.
  • F. DeMarco J. Xuan D. L. Berre M. Monperrus "Automatic repair of buggy if conditions and missing preconditions with SMT" Proc. Int. Workshop Constraints Softw. Testing Verification Anal. pp. 30-39 2014.
  • F. Gao L. Wang X. Li "Bovinspector: automatic inspection and repair of buffer overflow vulnerabilities" Proc. Int. Conf. Autom. Softw. Eng. pp. 786-791 2016.
  • F. Logozzo T. Ball "Modular and verified automatic program repair" ACM SIGPLAN Notices vol. 47 no. 10 pp. 133-146 2012.
  • F. Long M. Rinard "An analysis of the search spaces for generate and validate patch generation systems" Proc. Int. Conf. Softw. Eng. pp. 702-713 2016.
  • F. Long M. Rinard "Automatic patch generation by learning correct code" Proc. Annu. Symp. Principles Program. Languages pp. 298-312 2016.
  • F. Long M. Rinard "Prophet: Automatic patch generation via learning from successful patches" 2013.
  • F. Long M. Rinard "Staged program repair with condition synthesis" Proc. Joint Meet. Eur. Softw. Eng. Conf. Symp. Foundations Softw. Eng. pp. 166-178 2015.
  • F. Yu C.-Y. Shueh C.-H. Lin Y.-F. Chen B.-Y. Wang T. Bultan "Optimal sanitization synthesis for web application vulnerability repair" Proc. Int. Symp. Softw. Testing Anal. pp. 189-200 2016.
  • F. Yu M. Alkhalaf T. Bultan "Patching vulnerabilities with sanitization synthesis" Proc. Int. Conf. Softw. Eng. pp. 251-260 2011.
  • G. Jin L. Song W. Zhang S. Lu B. Liblit "Automated atomicity-violation fixing" ACM SIGPLAN Notices vol. 46 no. 6 pp. 389-400 2011.
  • G. Jin W. Zhang D. Deng B. Liblit S. Lu "Automated concurrency-bug fixing." Proc. USENIX Symp. Operating Syst. Des. Implementation pp. 221-236 2012.
  • G. Rothermel R. H. Untch C. Chu M. J. Harrold "Prioritizing test cases for regression testing" IEEE Trans. Softw. Eng. vol. 27 no. 10 pp. 929-948 Oct. 2001.
  • H. Chang L. Mariani M. Pezzè "Exception handlers for healing component-based systems" ACM Trans. Softw. Eng. Methodology vol. 22 no. 4 pp. 1-30 2013.
  • H. Liu Y. Chen S. Lu "Understanding and generating high quality patches for concurrency bugs" Proc. Int. Symp. Found. Softw. Eng. pp. 715-726 2016.
  • H. Nguyen D. Qi A. Roychoudhury S. Chandra "Semfix: Program repair via semantic analysis" Proc. Int. Conf. Softw. Eng. pp. 772-781 2013.
  • H. Psaier S. Dustdar "A survey on self-healing systems: approaches and systems" Springer Comput. vol. 91 no. 1 pp. 43-73 2011.
  • H. Samimi M. Schäfer S. Artzi T. Millstein F. Tip L. Hendren "Automated repair of HTML generation errors in PHP applications using string constraint solving" Proc. Int. Conf. Softw. Eng. pp. 277-287 2012.
  • H. Yokoyama Y. Higo K. Hotta T. Ohta K. Okano S. Kusumoto "Toward improving ability to repair bugs automatically: a patch candidate location mechanism using code similarity" Proc. Symp. Appl. Comput. pp. 1364-1370 2016.
  • I. Krka Y. Brun N. Medvidovic "Automatic mining of specifications from invocation traces and method invariants" Proc. Int. Symp. Found. Softw. Eng. pp. 178-189 2014.
  • J. Bradbury K. Jalbert "Automatic repair of concurrency bugs" Proc. Int. Symp. Search Based Softw. Eng. pp. 73-84 2010.
  • J. H. Perkins et al. "Automatically patching errors in deployed software" Proc. Symp. Operating Syst. Principles pp. 87-102 2009.
  • J. King "Symbolic execution and program testing" Commun. ACM vol. 19 no. 7 pp. 385-394 1976.
  • J. Offutt A. Lee G. Rothermel R. Untch C. Zapf "An experimental determination of sufficient mutant operators" ACM Trans. Softw. Eng. Methodology vol. 5 no. 2 pp. 99-118 1996.
  • J. Wilkerson D. Tauritz "Coevolutionary automated software correction" Proc. Annu. Conf. Genetic and Evol. Comput. pp. 1391-1392 2010.
  • J. Wilkerson D. Tauritz "Scalability of the coevolutionary automated software correction system" Proc. Conf. Companion Genetic Evol. Comput. pp. 243-244 2011.
  • J. Wilkerson D. Tauritz J. Bridges "Multi-objective coevolutionary automated software correction" Proc. Annu. Conf. Genetic Evol. Comput. pp. 1229-1236 2012.
  • J. Xuan et al. "Nopol: Automatic repair of conditional statement bugs in Java programs" IEEE Trans. Softw. Eng. vol. 43 no. 1 pp. 34-55 Jan. 2017.
  • JA. Jones M. J. Harrold "Empirical evaluation of the Tarantula automatic fault-localization technique" Proc. Int. Conf. Automated Softw. Eng. pp. 273-282 2005.
  • L. Gazzola, D. Micucci and L. Mariani, "Automatic Software Repair: A Survey" IEEE Trans. Softw. Eng. vol. 45 no. 1 pp. 34-67 2019.
  • L. Mariani F. Pastore "Automated identification of failure causes in system logs" Proc. Int. Symp. Softw. Rel. Eng. pp. 117-126 2008.
  • L. Mariani F. Pastore M. Pezzè "Dynamic analysis for diagnosing integration faults" IEEE Trans. Softw. Eng. vol. 37 no. 4 pp. 486-508 Jul./Aug. 2011.
  • M. A. Müllerburg "The role of debugging within software engineering environments" ACM SIGSOFT Softw. Eng. Notes vol. 8 no. 4 pp. 81-90 1983.
  • M. Alkhalaf A. Aydin T. Bultan "Semantic differential repair for input validation and sanitization" Proc. Int. Symp. Softw. Testing Anal. pp. 225-236 2014.
  • M. Böhme A. Roychoudhury "CoREBench: Studying complexity of regression errors" Proc. Int. Symp. Softw. Testing Anal. (ISSTA) pp. 105-115 2014.
  • M. Carbin S. Misailovic M. Kling M. Rinard "Detecting and escaping infinite loops with jolt" Proc. Eur. Conf. Object-Oriented Program. pp. 609-633 2011.
  • M. Chen E. Kiciman E. Fratkin A. Fox E. Brewer "Pinpoint: Problem determination in large dynamic internet services" Proc. Int. Conf. Dependable Syst. Netw. pp. 595-604 2002.
  • M. D. Ernst J. Cockrell W. G. Griswold D. Notkin "Dynamically discovering likely program invariants to support program evolution" IEEE Trans. Softw. Eng. vol. 27 no. 2 pp. 99-123 Feb. 2001.
  • M. Egele C. Kruegel "An empirical study of cryptographic misuse in Android applications" Proc. Conf. Comput. Commun. Secur. pp. 73-84 2013.
  • M. Fähndrich F. Logozzo "Static contract checking with abstract interpretation" Proc. Int. Conf. Formal Verification Object-Oriented Softw. pp. 10-30 2010.
  • M. Gabel Z. Su "Testing mined specifications" Proc. Int. Symp. Foundations Softw. Eng. pp. 1-4:11 2012.
  • M. Malik K. Ghori B. Elkarablieh S. Khurshid "A case for automated debugging using data structure repair" Proc. Int. Conf. Autom. Softw. Eng. pp. 620-624 2009.
  • M. Martinez M. Monperrus "Mining repair actions for guiding automated program fixing" 2012.
  • M. Martinez M. Monperrus "Mining software repair models for reasoning on the search space of automated program fixing" Empirical Softw. Eng. vol. 20 no. 1 pp. 176-205 2015.
  • M. Martinez W. Weimer M. Monperrus "Do the fix ingredients already exist? An empirical inquiry into the redundancy assumptions of program repair approaches" Proc. Int. Conf. Softw. Eng. pp. 492-495 2014.
  • M. Monperrus "A critical review of" Proc. Int. Conf. Softw. Eng. pp. 234-242 2014.
  • M. Monperrus "Automatic software repair: A bibliography" 2015.
  • M. Monperrus B. Baudry "Two flavors in automated software repair: Rigid repair and plastic repair" Dagstuhl Seminar n. 13061 “Fault Prediction Localization and Repair” 2013.
  • M. Pezzè M. Young Software Testing and Analysis: Process Principles and Techniques Hoboken NJ USA:Wiley 2007.
  • M. Selakovic M. Pradel "Automatically fixing real-world javascript performance bugs" Proc. Int. Conf. Softw. Eng. pp. 3-4 2015.
  • M. Stumptner F. Wotawa "A model-based approach to software debugging" Proc. Int. Workshop Principles Diagnosis pp. 233-239 1996.
  • M. Stumptner F. Wotawa "Model-based program debugging and repair" Proc. Int. Conf. Ind. Eng. Other Appl. Appl. Intell. Syst. pp. 155-160 1996.
  • N. Nethercote J. Seward "Valgrind: A framework for heavyweight dynamic binary instrumentation" ACM SIGPLAN Notices vol. 42 no. 6 pp. 89-100 2007.
  • O. Edelstein E. Farchi Y. Nir G. Ratsaby S. Ur "Multithreaded Java program test generation" IBM Syst. J. vol. 41 no. 1 pp. 111-125 2002.
  • O. Polozov S. Gulwani "FlashMeta: A framework for inductive program synthesis" Proc. Int. Conf. Object-Oriented Program. Syst. Languages Appl. pp. 107-126 2015.
  • O. Riganelli D. Micucci L. Mariani "Policy enforcement with proactive libraries" Proc. Int. Symp. Softw. Eng. Adaptive Self-Manag. Syst. pp. 182-192 2017.
  • P. Agarwal A. Agrawal "Fault-localization techniques for software systems: A literature review" SIGSOFT Softw. Eng. Notes vol. 39 no. 5 pp. 1-8 2014.
  • P. Liu C. Zhang "Axis: Automatically fixing atomicity violations through solving control constraints" Proc. Int. Conf. Softw. Eng. pp. 299-309 2012.
  • P. Liu O. Tripp C. Zhang "Grail: context-aware fixing of concurrency bugs" Proc. Int. Symp. Foundations Softw. Eng. pp. 318-329 2014.
  • Q. Gao et al. "Safe memory-leak fixing for C programs" Proc. Int. Conf. Softw. Eng. pp. 459-470 2015.
  • Q. Gao H. Zhang J. Wang Y. Xiong L. Zhang H. Mei "Fixing recurring crash bugs via analyzing Q&A sites" Proc. Int. Conf. Automated Softw. Eng. pp. 307-318 2015.
  • R. Abreu P. Zoeteweij A. J. C. van Gemund "On the accuracy of spectrum-based fault localization" Proc. Testing: Academic Ind. Conf. Practice Res. Techn. - MUTATION pp. 89-98 2007.
  • R. Abreu P. Zoeteweij A. J. C. van Gemund "Spectrum-based multiple fault localization" Proc. Int. Conf. Automated Softw. Eng. pp. 88-99 2009.
  • R. Alur et al. "Syntax-guided synthesis" Proc. Int. Conf. Formal Methods Comput.-Aided Des. pp. 1-8 2013.
  • R. Ding et al. "Healing online service systems via mining historical issue repositories" Proc. Int. Conf. Automated Softw. Eng. pp. 318-321 2012.
  • R. Just D. Jalali M. D. Ernst "Defects4J: A database of existing faults to enable controlled testing studies for Java programs" Proc. Int. Symp. Softw. Testing Anal. pp. 437-440 2014.
  • R. Kou Y. Higo S. Kusumoto "A capable crossover technique on automatic program repair" Proc. Int. Workshop Empirical Softw. Eng. Practice pp. 45-50 2016.
  • R. Raman J. Zhao V. Sarkar M. Vechev E. Yahav "Efficient data race detection for async-finish parallelism" Proc. Int. Conf. Runtime Verification pp. 368-383 2010.
  • R. Surendran R. Raman S. Chaudhuri J. Mellor-Crummey V. Sarkar "Test-driven repair of data races in structured parallel programs" ACM SIGPLAN Notices vol. 49 no. 6 pp. 15-25 2014.
  • S. Colin L. Mariani "Run-time verification" in Model-Based Testing of Reactive Systems Berlin Germany:Springer vol. 3472 pp. 525-555 2005.
  • S. Forrest T. Nguyen W. Weimer C. Le Goues "A genetic programming approach to automated software repair" Proc. Annu. Conf. Genetic Evol. Comput. pp. 947-954 2009.
  • S. Jha S. Gulwani S. S. A A. Tiwari "Oracle-guided component-based program synthesis" Proc. Int. Conf. Softw. Eng. pp. 215-224 2010.
  • S. Kaleeswaran V. Tulsian A. Kanade A. Orso "MintHint: Automated synthesis of repair hints" Proc. Int. Conf. Softw. Eng. pp. 266-276 2014.
  • S. Khoshnood M. Kusano C. Wang "ConcBugAssist: Constraint solving for diagnosis and repair of concurrency bugs" Proc. Int. Symp. Softw. Testing Anal. pp. 165-176 2015.
  • S. Ma D. Lo T. Li R. H. Deng "CDRep: Automatic repair of cryptographic misuses in Android applications" Proc. Asia Conf. Comput. and Commun. Secur. pp. 711-722 2016.
  • S. Marcote M. Monperrus "Automatic repair of infinite loops" 2015.
  • S. Mechtaev J. Yi A. Roychoudhury "Angelix: Scalable multiline program patch synthesis via symbolic analysis" Proc. Int. Conf. Softw. Eng. pp. 691-701 2016.
  • S. Mechtaev J. Yi A. Roychoudhury "Directfix: Looking for simple program repairs" Proc. Int. Conf. Softw. Eng. pp. 448-458 2015.
  • S. Park S. Lu Y. Zhou "CTrigger: Exposing atomicity violation bugs from their hiding places" Proc. Int. Conf. Archit. Support Program. Languages Operating Syst. pp. 25-36 2009.
  • S. Sidiroglou A. Keromytis "Countering network worms through automatic patch generation" IEEE Secur. Privacy vol. 3 no. 6 pp. 41-49 2005.
  • S. Sidiroglou O. Laadan C. Perez N. Viennot J. Nieh A. D. Keromytis "Assure: automatic software self-healing using rescue points" ACM SIGARCH Comput. Archit. News vol. 37 no. 1 pp. 37-48 2009.
  • S. Sidiroglou-Douskos E. Lahtinen F. Long M. Rinard "Automatic error elimination by horizontal code transfer across multiple applications" Proc. Conf. Program. Language Des. Implementation pp. 43-54 2015.
  • S. Sidiroglou-Douskos et al. "Targeted automatic integer overflow discovery using goal-directed conditional branch enforcement" Proc. Int. Conf. Archit. Support Program. Languages Operating Syst.. pp. 473-486 2015.
  • S. Son K. McKinley V. Shmatikov "Fix me up: Repairing access-control bugs in web applications" Proc. Netw. Distrib. Syst. Symp. 2013.
  • S. Staber B. Jobstmann R. Bloem "Finding and fixing faults" Proc. Adv. Res. Work. Conf. Correct Hardware Des. Verification Methods pp. 35-49 2005.
  • S. Sumi Y. Higo K. Hotta S. Kusumoto "Toward improving graftability on automated program repair" Proc. Int. Conf. Softw. Maintenance Evol. pp. 511-515 2015.
  • S. Tan A. Roychoudhury "Relifix: Automated repair of software regressions" Proc. Int. Conf. Softw. Eng. pp. 471-482 2015.
  • S. Tan H. Yoshida A. Roychoudhury "Anti-patterns in search-based program repair" Proc. Int. Symp. Foundations Softw. Eng. pp. 727-738 2016.
  • T. Ackling B. Alexander I. Grunert "Evolving patches for software repair" Proc. Annu. Conf. Genetic Evol. Comput. pp. 1427-1434 2011.
  • T. Britton L. Jeng G. Carver P. Cheak "Reversible debugging software - quantify the time and cost saved using reversible debuggers" 2013.
  • T. Chiueh F. Hsu "RAD: A compile-time solution to buffer overflow attacks" Proc. Int. Conf. Distributed Comput. Syst. pp. 409-417 2001.
  • T. Durieux M. Monperrus "Dynamoth: dynamic code synthesis for automatic program repair" Proc. Int. Workshop Autom. Softw. Test pp. 85-91 2016.
  • T. Ji L. Chen X. Mao X. Yi "Automated program repair by using similar code containing fix ingredients" Proc. Annu. Comput. Softw. Appl. Conf. pp. 197-202 2016.
  • V. Dallmeier A. Zeller B. Meyer "Generating fixes from object behavior anomalies" Proc. Int. Conf. Automated Softw. Eng. pp. 550-554 2009.
  • V. Dallmeier C. Lindig A. Wasylkowski A. Zeller "Mining object behavior with ADABU" Proc. Int. Workshop Dynamic Anal. pp. 17-24 2006.
  • V. Dallmeier T. Zimmermann "Extraction of bug localization benchmarks from history" Proc. Int. Conf. Autom. Softw. Eng. pp. 433-436 2007.
  • V. Debroy E. Wong "Using mutation to automatically suggest fixes for faulty programs" Proc. Int. Conf. Softw. Testing Verification Validation pp. 65-74 2010.
  • V. Le S. Gulwani "FlashExtract: A framework for data extraction by examples" Proc. Conf. Program. Language Des. Implementation pp. 542-553 2014.
  • W. E. Wong V. Debroy B. Choi "A family of code coverage-based heuristics for effective fault localization" J. Syst. Softw. vol. 83 no. 2 pp. 188-208 2010.
  • W. Weimer "Patches as better bug reports" Proc. Int. Conf. Generative Program. Component Eng. pp. 181-190 2006.
  • W. Weimer S. Forrest C. Le Goues T. Nguyen "Automatic program repair with evolutionary computation" Commun. ACM vol. 53 no. 5 pp. 109-116 2010.
  • W. Weimer T. Nguyen C. Le Goues S. Forrest "Automatically finding patches using genetic programming" Proc. Int. Conf. Softw. Eng. pp. 364-374 2009.
  • W. Weimer Z. Fry S. Forrest "Leveraging program equivalence for adaptive program repair: Models and first results" Proc. Int. Conf. Autom. Softw. Eng. pp. 356-366 2013.
  • X. D. Le T. B. Le D. Lo "Should fixing these failures be delegated to automated program repair?" Proc. Int. Symp. Softw. Rel. Eng. pp. 427-437 2015.
  • X. Kong L. Zhang W. E. Wong B. Li "Experience report: How do techniques programs and tests impact automated program repair?" Proc. Int. Symp. Softw. Rel. Eng. (ISSRE) pp. 194-204 2015.
  • Y. Cai L. Cao "Fixing deadlocks via lock pre-acquisitions" Proc. Int. Conf. Softw. Eng. pp. 1109-1120 2016.
  • Y. Ke K. Stolee C. Le Goues Y. Brun "Repairing programs with semantic code search" Proc. Int. Conf. Automated Softw. Eng. pp. 295-306 2015.
  • Y. Lin S. Kulkarni "Automatic repair for multi-threaded programs with deadlock/livelock using maximum satisfiability" Proc. Int. Symp. Softw. Testing Anal. pp. 237-247 2014.
  • Y. Pei C. A. Furia M. Nordio Y. Wei B. Meyer A. Zeller "Automated fixing of programs with contracts" IEEE Trans. Softw. Eng. vol. 40 no. 5 pp. 427-449 May 2014.
  • Y. Pei M. Nordio B. Meyer "Automated program repair in an integrated development environment" Proc. Int. Conf. Softw. Eng. pp. 681-684 2015.
  • Y. Pei Y. Wei C. Furia M. Nordio B. Meyer "Code-based automated program fixing" Proc. Int. Conf. Automated Softw. Eng. pp. 392-395 2011.
  • Y. Qi X. Mao Y. Lei "Efficient automated program repair through fault-recorded testing prioritization" Proc. Int. Conf. Softw. Maintenance pp. 180-189 2013.
  • Y. Qi X. Mao Y. Lei "Making automatic repair for large-scale programs more efficient using weak recompilation" Proc. Int. Conf. Softw. Maintenance pp. 254-263 2012.
  • Y. Qi X. Mao Y. Lei C. Wang "Using automated program repair for evaluating the effectiveness of fault localization techniques" Proc. Int. Symp. Softw. Testing Anal. pp. 191-201 2013.
  • Y. Qi X. Mao Y. Lei Z. Dai C. Wang "Does genetic programming work well on automated program repair?" Proc. Int. Conf. Comput. Inform. Sci pp. 1875-1878 2013.
  • Y. Qi X. Mao Y. Lei Z. Dai C. Wang "The strength of random search on automated program repair" Proc. Int. Conf. Softw. Eng. pp. 254-265 2014.
  • Y. Qi X. Mao Y. Lei Z. Dai Y. Qi C. Wang "Empirical effectiveness evaluation of spectra-based fault localization on automated program repair" Proc. Comput. Softw. Appl. Conf. pp. 828-829 2013.
  • Y. Qi X. Mao Z. Dai Y. Qi "Efficient automatic program repair using function-based part-execution" Proc. Int. Conf. Softw. Eng. Service Sci. pp. 235-238 2013.
  • Y. Tao J. Kim S. Kim C. Xu "Automatically generated patches as debugging aids: a human study" Proc. Int. Symp. Found. Softw. Eng. pp. 64-74 2014.
  • Y. Wei et al. "Automated fixing of programs with contracts" Proc. Int. Symp. Softw. Testing Anal. pp. 61-72 2010.
  • Y. Zhang A. Mesbah "Assertions are strongly correlated with test suite effectiveness" Proc. Joint Meet. Eur. Softw. Eng. Conf. Symp. Found. Softw. Eng. pp. 214-224 2015.
  • Z. Coker M. Hafiz "Program transformations to fix C integers" Proc. Int. Conf. Softw. Eng. pp. 792-801 2013.
  • Z. Fry B. Landau W. Weimer "A human study of patch maintainability" Proc. Int. Symp. Softw. Testing Anal. pp. 177-187 2012.
  • Z. Lin X. Jiang D. Xu B. Mao L. Xie "Autopag: Towards automated software patch generation with source code root cause identification and repair" Proc. Symp. Inform. Comput. Commun. Secur. pp. 329-340 2007.
  • Z. Qi F. Long S. Achour M. Rinard "An analysis of patch plausibility and correctness for generate-and-validate patch generation systems" Proc. Int. Symp. Softw. Testing Anal. pp. 24-36 2015.

Contact us!

In what service are you interested?
1 Separator 4
fiQare and FIREWARE

fiQare and FIWARE

Future Intelligent Quality Assurance for Release Enhancement (fiQare) is a revolutionary new concept in safety, reliability and quality for IoT environments.

fiQare develops an innovative methodology based on artificial intelligence. We analyze FIWARE technology automatically using eight axes of ISO 25010 standard, to measure the quality of IoT (Internet of Things) Platforms, such as Smart Cities and Factory 4.0

fiQare takes FIWARE as a target for its analysis. FIWARE is a middleware for the development and deployment of future Internet applications. FIWARE open APIs are known as Generic Enablers (GEs); fiQare acts on these GEs, improving their quality.

Next
2 Separator 4

IoT Security and Smart Cities

Smart Cities and IoT are the future of technology, and the biggest threat to its development is the loss of confidence due to security flaws in platforms and devices.

At IoT, safety should precede innovation.

IoT is leaving obsolete the laws necessary to regulate and standardize security policies. In this new environment, security breaches have the potential to endanger human life.

We follow the methodology known as “security by design” where we analyze FIWARE to find bugs and design flaws that would allow security attacks.

Next
3 Separator 4

ISO/IEC 25010 and FIWOO

When the identity of the device is related to the identity of a human being, the true value of IoT emerges. However, with access to data comes the enigma of privacy.

ISO/IEC 25010 determines which quality characteristics will be taken into account when evaluating the properties of a software product. This model will be applied in the fiQare project.

Platforms such as FIWOO (or any other FIWARE based platform) will improve their quality and security. fiQare will enable faster and greater development of these technologies by increasing confidence in them.

Next
4 Separator 4

GE’s and final products

We provide a methodology based on automatic learning algorithms for GEs analysis.

We report on the status of the quality of GEs in IoT Platforms.

We do enhance FIWARE's management tools (GEs), which are offered to the community.

FIWARE-based Platforms (such as FIWOO) will experience a substantial improvement in safety and quality.

Development of two use cases:

First Use Case: Smart Cities Analysis by Sensing Urban Heartbeat (SUH): Install and use sensors in the campus of the University of Málaga, to take open data, analyse them, and give models of mobility and noise. Users will be several research groups at University of Málaga, the rectorate itself (for management), and the students (40.000 potential beneficiaries of this work).

Second Use Case: Internet of health things for smart home assisted living: This use case involves the construction of a IoT Early Warning System (EWS) for the detection of residential emergencies, targeting different services with the adequate message content (e.g. for nurses, doctors, individual's family and hospitals).