1,445 Hits in 9.4 sec

Patch Quality and Diversity of Invariant-Guided Search-Based Program Repair [article]

Zhen Yu Ding
2020 arXiv   pre-print
Most automatic program repair techniques rely on test cases to specify correct program behavior.  ...  We evaluate the correctness and diversity of patches generated by GenProg and an invariant-based diversity-enhancing extension described in our prior work.  ...  We thus evaluate patch correctness and diversity for two program repair techniques: GenProg [8] , a search-based program repair technique based on genetic programming, and a invariant-driven diversity-promoting  ... 
arXiv:2003.11667v1 fatcat:tfeplghywvgbpllnmryr4s7uzu

Table of Contents

2019 2019 IEEE/ACM International Workshop on Genetic Improvement (GI)  
Paper Session 1 Session Leveraging Program Invariants to Promote Population Diversity in Search-Based Automatic Program Repair 2 Zhen Yu Ding (University of Pittsburgh), Yiwei Lyu (Carnegie Mellon University  ...  ), Christopher Timperley (Carnegie Mellon University), and Claire Le Goues (Carnegie Mellon University) Better Code Search and Reuse for Better Program Repair 10 Qi Xin (Georgia Institute of Technology  ... 
doi:10.1109/gi.2019.00004 fatcat:tslgti6rgfgqpfqsymcgn3hsfu

Leveraging Light-Weight Analyses to Aid Software Maintenance

Zachary P. Fry, Westley Weimer
2013 2013 IEEE Sixth International Conference on Software Testing, Verification and Validation  
The first of these techniques clusters closely-related, automatically generated defect reports to aid in the process of bug triage and repair.  ...  The work in this thesis uses lightweight analyses to leverage latent information inherent in existing software artifacts.  ...  That is, no simple model based on test case weightings was found to be a good signal to drive the search for program repairs.  ... 
doi:10.1109/icst.2013.77 dblp:conf/icst/FryW13 fatcat:lcayagsfkfc37fh6smvwur2pcu

The ManyBugs and IntroClass Benchmarks for Automated Repair of C Programs

Claire Le Goues, Neal Holtschulte, Edward K. Smith, Yuriy Brun, Premkumar Devanbu, Stephanie Forrest, Westley Weimer
2015 IEEE Transactions on Software Engineering  
In addition, Martin Rinard provided insightful discussions regarding repair quality and identified and corrected several concerns in the defect scenarios.  ...  Our combined and diverse experience with the research problems presented by automatic program repair research helps to mitigate the risks of single-project myopia in experimental design.  ...  the true population of defects in open-source C programs.  ... 
doi:10.1109/tse.2015.2454513 fatcat:bfafmkqccjbd7i7lucwjjlkaau

Reducing Efficiency of Connectivity-Splitting Attack on Newscast via Limited Gossip [chapter]

Jakub Muszyński, Sébastien Varrette, Pascal Bouvry
2016 Lecture Notes in Computer Science  
the automatic creation of content of diverse nature in other games.  ...  In addition, a diversity indicator is adoped to control the local search processes to encourage solution diversity.  ... 
doi:10.1007/978-3-319-31204-0_20 fatcat:27rnwllk75cv5kncys2u7utreq

Defense Advanced Research Projects Agency (Darpa) Fiscal Year 2016 Budget Estimates

Department Of Defense Comptroller's Office
2015 Zenodo  
The Defense Advanced Research Projects Agency (DARPA) FY2016 amounted to $2.868 billion in the President's request to support high-risk, high-reward research.  ...  -Examine repair and synthesis strategies to automatically discover commonalities and fix anomalies in input programs based on mining semantic patterns in the corpus.  ...  FY 2015 Plans: -Develop domain-specific search engines to automatically discover, access, retrieve/extract, parse, process, analyze, and manage web content in specified domains.  ... 
doi:10.5281/zenodo.1215366 fatcat:cqn5tyfixjanzp5x3tgfkpedri

Smart Breeding for Climate Resilient Agriculture [chapter]

Harmeet Singh Bakala, Gurjeet Singh, Puja Srivastava
2020 Plant Breeding - Current and Future Views [Working Title]  
Unlocking the repository of genetic diversity and extensive utilization of wild germplasm invariably is imperative to every crop improvement program.  ...  Plant breeding has always played a pivotal role in human history by revolutionizing agriculture to feed the ever-growing population.  ...  It leverages cheaper sequencing to identify up to millions of SNPs in plant population [70] .  ... 
doi:10.5772/intechopen.94847 fatcat:qnhqw5vxfjaxpfmdzwqkqntsqy

Advancing Energy Testing of Mobile Applications

Reyhaneh Jabbarvand, Sam Malek
2017 2017 IEEE/ACM 39th International Conference on Software Engineering Companion (ICSE-C)  
I can further use my energy-aware test generation technique (Section 7) and test oracles (Section 8) to conduct test suite-based automatic repair.  ...  Since the domain of both GUI and system inputs is quite large in Android applications, a search-based evolutionary technique is a reasonable solution to systematically search the input domain and automatically  ... 
doi:10.1109/icse-c.2017.45 dblp:conf/icse/Jabbarvand17 fatcat:pa2fnnbrqjfzjpqaarzcc3nqjy

In Silico Approaches to Mechanistic and Predictive Toxicology: An Introduction to Bioinformatics for Toxicologists

Mark R. Fielden, Jason B. Matthews, Kirsten C. Fertuck, Robert G. Halgren, Tim R. Zacharewski
2002 Critical Reviews in Toxicology  
With the advent of high-throughput sequencing and computational methodologies, expressed sequences can be rapidly detected and quantitated in target tissues by database searching.  ...  This review serves to introduce to toxicologists the concepts of in silico biology most relevant to mechanistic and predictive toxicology, while highlighting the applicability of in silico methods using  ...  Using an IUPAC-based search algorithm, they searched for OREs 500 bp upstream of predicted open reading frames (ORFs). This resulted in 40 genes with putative OREs in their promoter region.  ... 
doi:10.1080/20024091064183 pmid:11951993 fatcat:ictjulbjobbhpgdrlcgb2yhjoq

University of Nebraska — Lincoln [chapter]

Eric Hartman, Diane Podolske, James Moeser
2002 Outreach Scholarship  
CHAPTER NINE Retrospect and Prospect The following individuals were instrumental in producing the document: Writing Team  ...  To further support faculty in the arts and humanities, an "Arts and Humanities Research Enhancement Fund" was created to promote excellence and leverage additional funding in these areas.  ...  Finally, the Office of Equity, Access and Diversity programs offers training for members of search committees.  ... 
doi:10.1007/978-1-4615-0885-4_23 fatcat:ahgnf6tdirdunjr3n7g7c63vmm

Measuring Impact of Kazi & Kazi Tea Estate Limited, Panchagarh-An Organic Garden in Bangladesh

Md. Shafiqul Islam
2012 IOSR Journal of Business and Management  
Abstract: The paper seek to investigate the effects of migration of rural famers from periphery to urban centres in Nigeria in search for greener pasture, despite the fact that 75% of Nigerians are farmers  ...  KKTE needs to initiate more social activities in the wider scale in the diverse field for the well being of the community people. IV.  ...  structure which are invariant to change the social institutions".  ... 
doi:10.9790/487x-0330109 fatcat:vdg3f2c3gbccxmxm6q4ul666sa


R. Woodbury, P. Côté, P. Harrop, H. Rivard, F. A. Salustri, T. Seebohm
2011 Proceedings of the Canadian Engineering Education Association (CEEA)  
It is a discipline in the sense that it is a coherent body of thought and practice, but in academia is almost invariably distributed across disciplines concerned with particular kinds of design.  ...  Design is a key present and future contributor to the wealth of nations.  ...  Each points in the same direction -to complexity of design practice and diversity in design teams.  ... 
doi:10.24908/pceea.v0i0.3919 fatcat:cr7ymrlmprfhzf2xpltzf6l5gu

Deploying Search Based Software Engineering with Sapienz at Facebook [chapter]

Nadia Alshahwan, Xinbo Gao, Mark Harman, Yue Jia, Ke Mao, Alexander Mols, Taijin Tei, Ilya Zorin
2018 Lecture Notes in Computer Science  
We describe the deployment of the Sapienz Search Based Software Engineering (SBSE) testing system.  ...  Sapienz has been deployed in production at Facebook since September 2017 to design test cases, localise and triage crashes to developers and to monitor their fixes.  ...  search based system-level testing into regular production.  ... 
doi:10.1007/978-3-319-99241-9_1 fatcat:h5gev4472fe5jnrgkspnfwzx6e

Languages of Games and Play

Riemer Van Rozen
2020 ACM Computing Surveys  
We explore what informs the design and construction of good games in order to learn how to speed-up game development.  ...  In particular, we study to what extent languages, notations, patterns and tools, can offer experts theoretical foundations, systematic techniques and practical solutions they need to raise their productivity  ...  research automatic parallelism and parallel game tree search in particular [217] .  ... 
doi:10.1145/3412843 fatcat:k25yj7aylbcg5k3ks4v5d5dueu

Dallas, Texas: The Burdens of Prosperity [chapter]

Robert McPherson
1981 The T in CETA: Local and National Perspectives  
or leverage.  ...  to the need to maintain diversity in offerings and institutions.  ...  grants to governors.  ... 
doi:10.17848/9780880996051.ch4 fatcat:jswe3ba7s5amvaktj2uqk2ywae
« Previous Showing results 1 — 15 out of 1,445 results