Ase 14 proceedings of the 29th acmieee international. Prioritizing junit test cases in absence of coverage information. Kyunghee kim, tuba yavuzkahveci, and beverly sanders. Icsieacm, ei compendex, scopus 2020 2020 9th international conference on. The proceedings of this conference will be available for purchase through curran associates. In proceedings of the 24th ieeeacm international conference on automated software engineering ase 2009, auckland, new zealand, pp. Automated software engineering ase, 2009 24th ieeeacm international conference on. Rearranging the execution order of test cases is a key idea to improve their effectiveness. Icse 2021 43rd international conference on software engineering, 2329 may 2021. In the proceedings of the working conference on mining software repositories. Each year, it brings together researchers and practitioners from academia and industry to discuss foundations, techniques, and tools for automating the analysis, design, implementation, testing, and maintenance.
Mining alternative patterns for detecting neglected conditions pages 283294. Automated program repair communications of the acm. The ieeeacm automated software engineering ase conference series is the premier research forum for automated software engineering. Ase 2016 will bring together researchers and practitioners to share ideas on the foundations, techniques, tools and applications of automated software engineering. Proceedings of the 26th ieeeacm international conference on automated software engineering, pages 608611, tool demonstration track, lawrence, ks, november 2011. Tcs is a gold sponsor of the 31st ieeeacm international conference on automated software engineering ase 2016 which will be held at the singapore management university, singapore.
Institute of electrical and electronics engineers ieee pod publ. Ase 2020 international conference on automated software engineering. Request pdf on sep 3, 2018, marianne huchard and others published proceedings of the 33rd acmieee international conference on automated software engineering ase 2018. While the focus in the past decade has been on fully automated repair, putting the developer back into the loop is necessary, in particular, due to the weak specifications test suites often used to guide program repair. Each year, it brings together researchers and practitioners from academia and industry to discuss foundations, techniques, and tools for automating the analysis, design, implementation, testing, and maintenance of large software systems. In proceedings of the 23rd international conference on automated software engineering ase08, pages 258267. Search for library items search for lists search for contacts search for a library. Proceedings of the 2009 ieeeacm international conference. The international ruleml symposium on rule interchange and applications. Proceedings of a meeting held 1516 september 2008, laquila, italy. The 28th ieeeacm international conference on automated software engineering will be held at the crowne plaza cabana in palo alto, california from november 11 15, 20. Icse, the international conference on software engineering, is the premier software engineering conference, providing a forum for researchers, practitioners and educators to present and discuss the most recent innovations, trends, experiences and concerns in the field of software engineering.
Conference papers publications software engineering. This year the conference is being held in north america in long beach, california. Sakshi udeshi, pryanshu arora, and sudipta chattopadhyay. Acms journals, magazines, conference proceedings, books. Proceedings of 24th ieeeacm international conference on automated software engineering ase 2009, auckland, new zealand, 16th20th november 2009. Proceedings of the 2009 ieeeacm international conference on automated software engineering alattin. Adaptive deconvolutional networks for mid and high level feature learning. Proceedings of the 33rd acmieee international conference. Ase 09 proceedings of the 2009 ieeeacm international conference on automated software engineering table of contents. Alattin proceedings of the 2009 ieeeacm international. Regression testing assures changed programs against unintended amendments. Reassert proceedings of the 2009 ieeeacm international. Icse the premier conference in software engineering sponsored by acm and ieee cs is coming to austin for a second time in may 14 22, 2016.
Authorized distributor of all ieee proceedings toc. Adaptive random test case prioritization proceedings of. Please check this page for news about the conference. Acm publications are the premier venues for theoretical and practical discoveries in computing. Also to appear in the international conference on embedded software emsoft, 2018. Ieee computer society 2017, isbn 9781538626849 contents. Institute of electrical and electronics engineers ieee. Gordon, nguyen nguyen, and martin rinard proceedings of the 30th ieeeacm international conference on automated software engineering lincoln, nebraska, november 2015 approximate computation with outlier detection in topaz sara achour and martin rinard. Ana milanova and yin liu, static ownership inference for reasoning against concurrency errors, proceedings of the acm sigsoftieee international conference on software engineering icse 2009, track on new ideas and emerging results. Proceedings of the 32nd ieee acm international conference on automated software engineering, ase 2017, urbana, il, usa, october 30 november 03, 2017. Proceedings of the 2009 ieeeacm international conference on automated software engineering association for computing machinery home.
Proceedings of the 7th joint meeting of the european software engineering, 2009. Ijcar 2020 10th international joint conference on automated reasoning. Publications of martin rinard massachusetts institute of. The ieee acm automated software engineering ase conference series is the premier research forum for automated software engineering. Orso proceedings of the 34th ieeeacm international conference on automated software engineering ase 2019. In the proceedings of the ieeeacm international conference on automated software engineering, new idea papers.
In proceedings of the 31st ieeeacm international conference on automated software engineering. Precise data race detection in relaxed memory model using heuristic based model checking. Proceedings of the 20th ieeeacm international conference. As program repair gets integrated into development environments, interacting with the developer during repair is important. Proceedings of the 32nd ieeeacm international conference on automated software engineering, ase 2017, urbana, il, usa, october 30 november 03, 2017. International conference on automated software engineering. The objective of the international symposium on empirical software engineering and measurement esem is to provide a forum where researchers, practitioners, and educators can report and discuss the most recent research results, innovations, trends, experiences, and concerns in the field of empirical software engineering and metrics. International conference on automated software engineering ase 2015. Abstract submission april 19, 2018 paper submission april 26, 2018 author notification july 3, 2018 cameraready july 24, 2018. Proceedings of the 32nd acmieee international conference on software. Test migration between mobile apps with similar functionality f. Proceedings of the 33rd acmieee international conference on automated software engineering, ase 2018, montpellier, france, september 37, 2018. The international conference on software engineering icse, sponsored by ieee cs and acm, is the premier softwareengineering conference, where researchers, practitioners, and educators come together to present, discuss, and debate the most recent research results, innovations, trends, and concerns in the field of software engineering. Proceedings of the 24th ieeeacm international conference on automated software engineering, auckland, new zealand, november 2009.
Before my phd study 2009 2010 test generation via dynamic symbolic execution for mutation testing. Synergy of human and artificial intelligence in software. Proceedings of a meeting held 67 march 2009, patiala, india. Ieee computer society washington, dc, usa 2009 isbn. The acm international conference proceeding series icps provides a mechanism to. International conference on automated software engineering ase 2015 table of contents message from the chairs. Typechecking software product lines a formal approach. The 33rd ieeeacm international conference on automated software engineering will be held at the corum, montpellier, france from september 3 to 7, 2018. In computer vision iccv, 2011 ieee international conference on. Sigai acm special interest group on artificial intelligence sigsoft acm special interest group on software engineering publisher. Furia, matteo pradella, matteo rossi, in proceedings of the 7th ieee international conference on software engineering and formal methods sefm09, ieee computer society press, 2009. Software engineering, 2010 acmieee 32nd international conference on tayfun elmas we present a proof system and supporting tool, qed, for the static verification of concurrent software. Ase 14 proceedings of the 29th acmieee international conference on automated software engineering full citation in the acm digital library.
Transferring an automated test generation tool to practice. International conference on software engineering 2019 in. Discovering, reporting, and fixing performance bugs. Conference on software engineering education and training. Proceedings of the 29th acmieee international conference on automated, 2014. Proceedings of the 2009 ieeeacm international conference on automated software engineering reassert. There, the top minds in software engineering research and practice will convene for a week of inspirational talks, demos and conversation. On the impact of feature dependencies when maintaining. Mining temporal specifications from object usage ase 2009 by andrzej wasylkowski, andreas zeller. Welcome to long beach and the 20th ieee acm international conference on automated software engineering.
1193 283 1533 1479 179 706 1264 1501 1594 482 284 1495 665 261 741 1035 1413 1184 769 857 1107 670 92 1131 305 1390 45 410 191