| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Evan Driscoll, Amanda Burton, Thomas W. Reps |
Checking conformance of a producer and a consumer.  |
SIGSOFT FSE  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Christoph Treude, Margaret-Anne D. Storey |
Effective communication of software development knowledge through community portals. |
SIGSOFT FSE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul C. Clements, María José Escalona Cuaresma, Paola Inverardi, Ivano Malavolta, Eda Marchetti |
Exploiting software architecture to support requirements satisfaction testing. |
SIGSOFT FSE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Demuth, Roberto E. Lopez-Herrejon, Alexander Egyed |
Cross-layer modeler: a tool for flexible multilevel modeling with consistency checking. |
SIGSOFT FSE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ivan Beschastnikh, Yuriy Brun, Sigurd Schneider, Michael Sloan, Michael D. Ernst |
Leveraging existing instrumentation to automatically infer invariant-constrained models. |
SIGSOFT FSE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Davide Falessi, Shiva Nejati, Mehrdad Sabetzadeh, Lionel C. Briand, Antonio Messina |
SafeSlice: a model slicing and design safety inspection tool for SysML. |
SIGSOFT FSE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthias Schur |
Experimental specification mining for enterprise applications. |
SIGSOFT FSE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Milton Inostroza, Éric Tanter, Eric Bodden |
Join point interfaces for modular reasoning in aspect-oriented programs. |
SIGSOFT FSE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Christian Bird, Nachiappan Nagappan, Brendan Murphy, Harald Gall, Premkumar T. Devanbu |
Don't touch my code!: examining the effects of ownership on software quality. |
SIGSOFT FSE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Di Cosmo, Jérôme Vouillon |
On software component co-installability. |
SIGSOFT FSE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Mark Harman, Yue Jia, William B. Langdon |
Strong higher order mutation-based test data generation. |
SIGSOFT FSE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Yuriy Brun, Reid Holmes, Michael D. Ernst, David Notkin |
Crystal: precise and unobtrusive conflict warnings. |
SIGSOFT FSE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Dawei Qi, Hoang D. T. Nguyen, Abhik Roychoudhury |
Path exploration based on symbolic output. |
SIGSOFT FSE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonio Filieri |
QoS verification and model tuning @ runtime. |
SIGSOFT FSE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Naeem Esfahani, Ehsan Kouroshfar, Sam Malek |
Taming uncertainty in self-adaptive software. |
SIGSOFT FSE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Mauro Baluda |
Automatic structural testing with abstraction refinement and coarsening. |
SIGSOFT FSE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ahmed Tamrawi, Tung Thanh Nguyen, Jafar M. Al-Kofahi, Tien N. Nguyen |
Fuzzy set and cache-based approach for bug triaging. |
SIGSOFT FSE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Salman Mirghasemi, John J. Barton, Claude Petitpierre |
Querypoint: moving backwards on wrong values in the buggy execution. |
SIGSOFT FSE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Arun Ramamurthi, Subhajit Roy, Y. N. Srikant |
Probabilistic dataflow analysis using path profiles on structure graphs. |
SIGSOFT FSE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Mori |
A software lifecycle process for context-aware adaptive systems. |
SIGSOFT FSE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Romain Robbes, Anthony Cleve |
IWPSE-EVOL 2011: 12th international workshop on principles on software evolution and 7th ERCIM workshop on software evolution. |
SIGSOFT FSE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Sven Apel, Jörg Liebig, Benjamin Brandl, Christian Lengauer, Christian Kästner |
Semistructured merge: rethinking merge in revision control systems. |
SIGSOFT FSE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | David Garlan, Mary Shaw |
Software architecture: reflections on an evolving discipline. |
SIGSOFT FSE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Walid Maalej, Raian Ali |
The 4th international workshop on social software engineering (SSE'11). |
SIGSOFT FSE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeremias Rößler |
Understanding failures through facts. |
SIGSOFT FSE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Francis Palma, Angelo Susi, Paolo Tonella |
Using an SMT solver for interactive requirements prioritization. |
SIGSOFT FSE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Shoham Ben-David, Marsha Chechik, Arie Gurfinkel, Sebastián Uchitel |
CSSL: a logic for specifying conditional scenarios. |
SIGSOFT FSE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Wagner, Sunita Chulani, Bernard Wong |
8th international workshop on software quality (WoSQ). |
SIGSOFT FSE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Swarat Chaudhuri, Sumit Gulwani, Roberto Lublinerman, Sara NavidPour |
Proving programs robust. |
SIGSOFT FSE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Daiva Naudziuniene, Matko Botincan, Dino Distefano, Mike Dodds, Radu Grigore, Matthew J. Parkinson |
jStar-eclipse: an IDE for automated verification of Java programs. |
SIGSOFT FSE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Foyzur Rahman, Daryl Posnett, Abram Hindle, Earl T. Barr, Premkumar T. Devanbu |
BugCache for inspections: hit or miss? |
SIGSOFT FSE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Na Meng, Miryung Kim, Kathryn S. McKinley |
Sydit: creating and applying a program transformation from an example. |
SIGSOFT FSE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Alvin Cheung, Armando Solar-Lezama, Samuel Madden |
Partial replay of long-running applications. |
SIGSOFT FSE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Javier Cámara, Rogério de Lemos, Carlo Ghezzi, Antónia Lopes |
Workshop on assurances for self-adaptive systems (ASAS 2011). |
SIGSOFT FSE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicolas Bettenburg |
Mining development repositories to study the impact of collaboration on software systems. |
SIGSOFT FSE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Diptikalyan Saha, Mangala Gowri Nanda, Pankaj Dhoolia, V. Krishna Nandivada, Vibha Sinha, Satish Chandra |
Fault localization for data-centric programs. |
SIGSOFT FSE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Fabian Beck, Stephan Diehl |
On the congruence of modularity and code coupling. |
SIGSOFT FSE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Tibor Gyimóthy, Andreas Zeller (eds.) |
SIGSOFT/FSE'11 19th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-19) and ESEC'11: 13rd European Software Engineering Conference (ESEC-13), Szeged, Hungary, September 5-9, 2011 |
SIGSOFT FSE |
2011 |
DBLP BibTeX RDF |
|
| 1 | Kunal Taneja, Mark Grechanik, Rayid Ghani, Tao Xie |
Testing software in age of data privacy: a balancing act. |
SIGSOFT FSE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Autili, Vittorio Cortellessa, Davide Di Ruscio, Paola Inverardi, Patrizio Pelliccione, Massimo Tivoli |
EAGLE: engineering software in the ubiquitous globe by leveraging uncErtainty. |
SIGSOFT FSE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Eric Bodden |
Stateful breakpoints: a practical approach to defining parameterized runtime monitors. |
SIGSOFT FSE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Corey Jergensen, Anita Sarma, Patrick Wagstrom |
The onion patch: migration in open source ecosystems. |
SIGSOFT FSE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Zoya Durdik |
An architecture-centric approach for goal-driven requirements elicitation. |
SIGSOFT FSE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniela Costache, Georg Kalus, Marco Kuhrmann |
Design and validation of feature-based process model tailoring: a sample implementation of PDE. |
SIGSOFT FSE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Rishabh Singh, Armando Solar-Lezama |
Synthesizing data structure manipulations from storyboards. |
SIGSOFT FSE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiaoxing Ma, Luciano Baresi, Carlo Ghezzi, Valerio Panzica La Manna, Jian Lu |
Version-consistent dynamic reconfiguration of component-based distributed systems. |
SIGSOFT FSE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Milos Gligoric, Sandro Badame, Ralph Johnson |
SMutant: a tool for type-sensitive mutation testing in a dynamic language. |
SIGSOFT FSE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Christian Prause |
Reputation-based self-management of software process artifact quality in consortium research projects. |
SIGSOFT FSE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Wujie Zheng, Qirun Zhang, Michael R. Lyu |
Cross-library API recommendation using web search engines. |
SIGSOFT FSE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Christoph Csallner, Leonidas Fegaras, Chengkai Li |
New ideas track: testing mapreduce-style programs. |
SIGSOFT FSE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Cristina Cifuentes, Nathan Keynes, Lian Li, Nathan Hawes, Manuel Valdiviezo, Andrew Browne, Jacob Zimmermann, Andrew Craik, Douglas Teoh, Christian Hoermann |
Static deep error checking in large system applications using parfait. |
SIGSOFT FSE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Yunho Kim, Moonzoo Kim |
SCORE: a scalable concolic testing tool for reliable embedded software. |
SIGSOFT FSE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrew Meneely, Pete Rotella, Laurie Williams |
Does adding manpower also affect quality?: an empirical, longitudinal analysis. |
SIGSOFT FSE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Taek Lee, Jaechang Nam, DongGyun Han, Sunghun Kim, Hoh Peter In |
Micro interaction metrics for defect prediction. |
SIGSOFT FSE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ivan Beschastnikh, Jenny Abrahamson, Yuriy Brun, Michael D. Ernst |
Synoptic: studying logged behavior with inferred models. |
SIGSOFT FSE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Lian Li, Cristina Cifuentes, Nathan Keynes |
Boosting the performance of flow-sensitive points-to analysis using value flow. |
SIGSOFT FSE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Mehdi MirzaAghaei |
Automatic test suite evolution. |
SIGSOFT FSE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeff Foster, Lori L. Pollock |
PASTE'11: Proceedings of the 10th ACM sigplan-sigsoft workshop on program analysis for software tools and engineering. |
SIGSOFT FSE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Gábor Szabó |
ELI-ALPS: the ultrafast challenges in Hungary. |
SIGSOFT FSE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Brian Hackett, Alex Aiken |
Inferring data polymorphism in systems code. |
SIGSOFT FSE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Lionel Montrieux, Michel Wermelinger, Yijun Yu |
Tool support for UML-based specification and verification of role-based access control properties. |
SIGSOFT FSE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Kivanç Muslu, Bilge Soran, Jochen Wuttke |
Finding bugs by isolating unit tests. |
SIGSOFT FSE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Raian Ali, Carlos Solís, Mazeiar Salehie, Inah Omoronyia, Bashar Nuseibeh, Walid Maalej |
Social sensing: when users become monitors. |
SIGSOFT FSE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Yuriy Brun, Reid Holmes, Michael D. Ernst, David Notkin |
Proactive detection of collaboration conflicts. |
SIGSOFT FSE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ohad Barzilay, Orit Hazzan, Amiram Yehudai |
Using social media to study the diversity of example usage among professional developers. |
SIGSOFT FSE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Simon Holm Jensen, Magnus Madsen, Anders Møller |
Modeling the HTML DOM and browser API in static analysis of JavaScript web applications. |
SIGSOFT FSE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Mathew Hall |
Search based hierarchy generation for reverse engineered state machines. |
SIGSOFT FSE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Markus Lumpe, Indika Meedeniya, Lars Grunske |
PSPWizard: machine-assisted definition of temporal logical properties with specification patterns. |
SIGSOFT FSE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Emad Shihab, Audris Mockus, Yasutaka Kamei, Bram Adams, Ahmed E. Hassan |
High-impact defects: a study of breakage and surprise defects. |
SIGSOFT FSE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Gordon Fraser, Andrea Arcuri |
EvoSuite: automatic test suite generation for object-oriented software. |
SIGSOFT FSE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Stelios Sidiroglou-Douskos, Sasa Misailovic, Henry Hoffmann, Martin C. Rinard |
Managing performance vs. accuracy trade-offs with loop perforation. |
SIGSOFT FSE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Shahar Maoz, Jan Oliver Ringert, Bernhard Rumpe |
ADDiff: semantic differencing for activity diagrams. |
SIGSOFT FSE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Rongxin Wu, Hongyu Zhang, Sunghun Kim, Shing-Chi Cheung |
ReLink: recovering links between bugs and changes. |
SIGSOFT FSE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Vilas Jagannath, Milos Gligoric, Dongyun Jin, Qingzhou Luo, Grigore Rosu, Darko Marinov |
Improved multithreaded unit testing. |
SIGSOFT FSE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Wilhelm Schäfer |
Building advanced mechatronic systems. |
SIGSOFT FSE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | George K. Baah, Andy Podgurski, Mary Jean Harrold |
Mitigating the confounding effects of program dependences for effective fault localization. |
SIGSOFT FSE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Zuoning Yin, Ding Yuan, Yuanyuan Zhou, Shankar Pasupathy, Lakshmi N. Bairavasundaram |
How do fixes become bugs? |
SIGSOFT FSE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Bruno Barbieri Pontes Cafeo, Joost Noppen, Fabiano Cutigi Ferrari, Ruzanna Chitchyan, Awais Rashid |
Inferring test results for dynamic software product lines. |
SIGSOFT FSE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Mark Gabel, Zhendong Su |
A study of the uniqueness of source code. |
SIGSOFT FSE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Narayan Ramasubbu, Rajesh Krishna Balan |
Evolution of a bluetooth test application product line: a case study. |
SIGSOFT FSE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Omar Bahy Badreddin, Timothy C. Lethbridge |
A study of applying a research prototype tool in industrial practice. |
SIGSOFT FSE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Kristina Winbladh, Hadar Ziv, Debra J. Richardson |
iMuse: interactive model-based use-case and storytelling environment. |
SIGSOFT FSE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jocelyn Simmonds, Shoham Ben-David, Marsha Chechik |
Guided recovery for web service applications. |
SIGSOFT FSE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Hesham Shokry |
Towards behavior elaboration and synthesis using modes. |
SIGSOFT FSE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Lian Li, Cristina Cifuentes, Nathan Keynes |
Practical and effective symbolic analysis for buffer overflow detection. |
SIGSOFT FSE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Hadi Hemmati, Lionel C. Briand, Andrea Arcuri, Shaukat Ali |
An enhanced test case selection approach for model-based testing: an industrial case study. |
SIGSOFT FSE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Sylvain Hallé, Tevfik Bultan |
Realizability analysis for message-based interactions using shared-state projections. |
SIGSOFT FSE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Shay Litvak, Nurit Dor, Rastislav Bodík, Noam Rinetzky, Mooly Sagiv |
Field-sensitive program dependence analysis. |
SIGSOFT FSE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Eya Ben Charrada |
Updating requirements from tests during maintenance and evolution. |
SIGSOFT FSE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Ming Wu, Fan Long, Xi Wang, Zhilei Xu, Haoxiang Lin, Xuezheng Liu, Zhenyu Guo, Huayang Guo, Lidong Zhou, Zheng Zhang |
Language-based replay via data flow cut. |
SIGSOFT FSE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Gruia-Catalin Roman, Kevin J. Sullivan (eds.) |
Proceedings of the 18th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2010, Santa Fe, NM, USA, November 7-11, 2010 |
SIGSOFT FSE |
2010 |
DBLP BibTeX RDF |
|
| 1 | Charles Edwin Killian, Karthik Nagaraj, Salman Pervez, Ryan Braud, James W. Anderson, Ranjit Jhala |
Finding latent performance bugs in systems implementations. |
SIGSOFT FSE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonio Carzaniga, Alessandra Gorla, Nicolò Perino, Mauro Pezzè |
Automatic workarounds for web applications. |
SIGSOFT FSE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Adrian Bachmann, Christian Bird, Foyzur Rahman, Premkumar T. Devanbu, Abraham Bernstein |
The missing links: bugs and bug-fix commits. |
SIGSOFT FSE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Steven Lauterburg, Rajesh K. Karmani, Darko Marinov, Gul Agha |
Basset: a tool for systematic testing of actor programs. |
SIGSOFT FSE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Miryung Kim, Matthew Gee, Alex Loh, Napol Rachatasumrit |
Ref-Finder: a refactoring reconstruction tool based on logic query templates. |
SIGSOFT FSE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Audris Mockus |
Organizational volatility and its effects on software defects. |
SIGSOFT FSE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Barthélémy Dagenais, Martin P. Robillard |
Creating and evolving developer documentation: understanding the decisions of open source contributors. |
SIGSOFT FSE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Aditya Kanade, Rajeev Alur, Sriram K. Rajamani, Ganesan Ramalingam |
Representation dependence testing using program inversion. |
SIGSOFT FSE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Etienne Kneuss, Philippe Suter, Viktor Kuncak |
Phantm: PHP analyzer for type mismatch. |
SIGSOFT FSE |
2010 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")