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. Institute of electrical and electronics engineers ieee pod publ. Proceedings of the 7th joint meeting of the european software engineering, 2009. Proceedings of the 29th acmieee international conference on automated, 2014. Synergy of human and artificial intelligence in software. Orso proceedings of the 34th ieeeacm international conference on automated software engineering ase 2019. 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. Publications of martin rinard massachusetts institute of. Icaps 2020 the 30th international conference on automated planning and scheduling. Reassert proceedings of the 2009 ieeeacm international. Proceedings of the 2009 ieeeacm international conference on automated software engineering reassert. The ieee acm automated software engineering ase conference series is the premier research forum for automated software engineering. Welcome to long beach and the 20th ieee acm international conference on automated software engineering.
Proceedings of the 33rd acmieee international conference. Proceedings of the 2009 ieeeacm international conference on automated software engineering association for computing machinery home. Sigai acm special interest group on artificial intelligence sigsoft acm special interest group on software engineering publisher. Suggesting repairs for broken unit tests pages 433444. Ase 14 proceedings of the 29th acmieee international. Alattin proceedings of the 2009 ieeeacm international. As program repair gets integrated into development environments, interacting with the developer during repair is important.
Proceedings of the 2009 ieeeacm international conference. Search for library items search for lists search for contacts search for a library. 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. In proceedings of the 31st ieeeacm international conference on automated software engineering. Proceedings of the 32nd acmieee international conference on software. 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. Also to appear in the international conference on embedded software emsoft, 2018. In computer vision iccv, 2011 ieee international conference on. Proceedings of the 20th ieeeacm international conference. Institute of electrical and electronics engineers ieee. 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. 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. 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.
Rearranging the execution order of test cases is a key idea to improve their effectiveness. Automated software engineering ase, 2009 24th ieeeacm international conference on. Conference papers publications software engineering. There, the top minds in software engineering research and practice will convene for a week of inspirational talks, demos and conversation. International conference on software engineering 2019 in.
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. Test migration between mobile apps with similar functionality f. Mining temporal specifications from object usage ase 2009 by andrzej wasylkowski, andreas zeller. Adaptive deconvolutional networks for mid and high level feature learning.
The 33rd ieeeacm international conference on automated software engineering will be held at the corum, montpellier, france from september 3 to 7, 2018. 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. The acm international conference proceeding series icps provides a mechanism to. Before my phd study 2009 2010 test generation via dynamic symbolic execution for mutation testing. Regression testing assures changed programs against unintended amendments. Ijcar 2020 10th international joint conference on automated reasoning. Ase 2020 international conference on automated software engineering. Proceedings of the 32nd ieeeacm international conference on automated software engineering, ase 2017, urbana, il, usa, october 30 november 03, 2017. Proceedings of the 33rd acmieee international conference on automated software engineering, ase 2018, montpellier, france, september 37, 2018. Conference on software engineering education and training. Proceedings of a meeting held 67 march 2009, patiala, india.
On the impact of feature dependencies when maintaining. Proceedings of 24th ieeeacm international conference on automated software engineering ase 2009, auckland, new zealand, 16th20th november 2009. Proceedings of the 32nd ieee acm international conference on automated software engineering, ase 2017, urbana, il, usa, october 30 november 03, 2017. Authorized distributor of all ieee proceedings toc. Precise data race detection in relaxed memory model using heuristic based model checking. 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. Automated program repair communications of the acm. Ase 09 proceedings of the 2009 ieeeacm international conference on automated software engineering table of contents. Request pdf on sep 3, 2018, marianne huchard and others published proceedings of the 33rd acmieee international conference on automated software engineering ase 2018. In the proceedings of the working conference on mining software repositories. The ieeeacm automated software engineering ase conference series is the premier research forum for automated software engineering.
The essentials of modern software engineering by ivar jacobson and coauthors is an indepth introduction to software engineering that uses a systematic. This year the conference is being held in north america in long beach, california. Proceedings of a meeting held 1516 september 2008, laquila, italy. Proceedings of the 24th ieeeacm international conference on automated software engineering, auckland, new zealand, november 2009. Adaptive random test case prioritization proceedings of. Ieee computer society washington, dc, usa 2009 isbn. Ase 2016 will bring together researchers and practitioners to share ideas on the foundations, techniques, tools and applications of automated software engineering. The international ruleml symposium on rule interchange and applications. 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. Icse 2021 43rd international conference on software engineering, 2329 may 2021.
Discovering, reporting, and fixing performance bugs. Prioritizing junit test cases in absence of coverage information. Mining alternative patterns for detecting neglected conditions pages 283294. Transferring an automated test generation tool to practice. The proceedings of this conference will be available for purchase through curran associates.
Please check this page for news about the conference. Icsieacm, ei compendex, scopus 2020 2020 9th international conference on. Proceedings of the 26th ieeeacm international conference on automated software engineering, pages 608611, tool demonstration track, lawrence, ks, november 2011. Typechecking software product lines a formal approach. 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. International conference on automated software engineering ase 2015 table of contents message from the chairs. Ieee computer society 2017, isbn 9781538626849 contents. Acm publications are the premier venues for theoretical and practical discoveries in computing. Proceedings of the 2009 ieeeacm international conference on automated software engineering. Acms journals, magazines, conference proceedings, books.
Ieeeacm international conference on automated software engineering. International conference on automated software engineering. Ase 14 proceedings of the 29th acmieee international conference on automated software engineering full citation in the acm digital library. Software debugging ieee conferences, publications, and. Proceedings of the 2009 ieeeacm international conference on automated software engineering alattin. 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. In proceedings of the 24th ieeeacm international conference on automated software engineering ase 2009, auckland, new zealand, pp. Sakshi udeshi, pryanshu arora, and sudipta chattopadhyay.
24 1164 438 562 1295 764 790 158 777 572 547 298 477 1312 976 1458 2 1190 578 1134 198 730 130 740 473 1209 583 347 1326 1322 689