|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 1163 occurrences of 660 keywords
|
|
|
Results
Found 2843 publication records. Showing 2840 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
24 | Ha Manh Tran, Son Thanh Le, Synh Viet Uyen Ha, Tu Kha Huynh |
Software Bug Ontology Supporting Bug Search on Peer-to-Peer Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KES-AMSTA ![In: Advanced Methods and Technologies for Agent and Multi-Agent Systems, Proceedings of the 7th KES Conference on Agent and Multi-Agent Systems - Technologies and Applications (KES-AMSTA 2013), May 27-29, 2013, Hue City, Vietnam, pp. 213-222, 2013, IOS Press, 978-1-61499-253-0. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
24 | Senthil Mani, Seema Nagar, Debdoot Mukherjee, Ramasuri Narayanam, Vibha Singhal Sinha, Amit Anil Nanavati |
Bug resolution catalysts: identifying essential non-committers from bug repositories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MSR ![In: Proceedings of the 10th Working Conference on Mining Software Repositories, MSR '13, San Francisco, CA, USA, May 18-19, 2013, pp. 193-202, 2013, IEEE Computer Society, 978-1-4673-2936-1. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
24 | Jaweria Kanwal, Onaiza Maqbool |
Bug Prioritization to Facilitate Bug Report Triage. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Sci. Technol. ![In: J. Comput. Sci. Technol. 27(2), pp. 397-412, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
24 | Hadi Hosseini, Raymond Nguyen, Michael W. Godfrey |
A Market-Based Bug Allocation Mechanism Using Predictive Bug Lifetimes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSMR ![In: 16th European Conference on Software Maintenance and Reengineering, CSMR 2012, Szeged, Hungary, March 27-30, 2012, pp. 149-158, 2012, IEEE Computer Society, 978-1-4673-0984-4. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
24 | Daniel Izquierdo-Cortazar |
Global and Geographically Distributed Work Teams: Understanding the Bug Fixing Process and Potentially Bug-prone Activity Patterns. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSMR ![In: 16th European Conference on Software Maintenance and Reengineering, CSMR 2012, Szeged, Hungary, March 27-30, 2012, pp. 505-508, 2012, IEEE Computer Society, 978-1-4673-0984-4. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
24 | Steven Davies, Marc Roper, Murray Wood |
Using Bug Report Similarity to Enhance Bug Localisation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WCRE ![In: 19th Working Conference on Reverse Engineering, WCRE 2012, Kingston, ON, Canada, October 15-18, 2012, pp. 125-134, 2012, IEEE Computer Society, 978-1-4673-4536-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
24 | Jian Zhou, Hongyu Zhang 0002, David Lo 0001 |
Where should the bugs be fixed? More accurate information retrieval-based bug localization based on bug reports. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE ![In: 34th International Conference on Software Engineering, ICSE 2012, June 2-9, 2012, Zurich, Switzerland, pp. 14-24, 2012, IEEE Computer Society, 978-1-4673-1067-3. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
24 | Rafael Lotufo, Zeeshan Malik, Krzysztof Czarnecki 0001 |
Modelling the 'Hurried' bug report reading process to summarize bug reports. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSM ![In: 28th IEEE International Conference on Software Maintenance, ICSM 2012, Trento, Italy, September 23-28, 2012, pp. 430-439, 2012, IEEE Computer Society, 978-1-4673-2313-0. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
24 | Masao Ohira, Ahmed E. Hassan, Naoya Osawa, Ken-ichi Matsumoto |
The impact of bug management patterns on bug fixing: A case study of Eclipse projects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSM ![In: 28th IEEE International Conference on Software Maintenance, ICSM 2012, Trento, Italy, September 23-28, 2012, pp. 264-273, 2012, IEEE Computer Society, 978-1-4673-2313-0. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
24 | Daniel Izquierdo-Cortazar, Andrea Capiluppi, Jesús M. González-Barahona |
Are Developers Fixing Their Own Bugs?: Tracing Bug-Fixing and Bug-Seeding Committers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Open Source Softw. Process. ![In: Int. J. Open Source Softw. Process. 3(2), pp. 23-42, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
24 | Philip J. Guo, Thomas Zimmermann 0001, Nachiappan Nagappan, Brendan Murphy |
"Not my bug!" and other reasons for software bug report reassignments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSCW ![In: Proceedings of the 2011 ACM Conference on Computer Supported Cooperative Work, CSCW 2011, Hangzhou, China, March 19-23, 2011, pp. 395-404, 2011, ACM, 978-1-4503-0556-3. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
24 | Tao Zhang 0001, Byungjeong Lee |
A Bug Rule Based Technique with Feedback for Classifying Bug Reports. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIT ![In: 11th IEEE International Conference on Computer and Information Technology, CIT 2011, Pafos, Cyprus, 31 August-2 September 2011, pp. 336-343, 2011, IEEE Computer Society, 978-0-7695-4388-8. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
24 | Brent D. Nichols |
Augmented bug localization using past bug information. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Southeast Regional Conference ![In: Proceedings of the 48th Annual Southeast Regional Conference, 2010, Oxford, MS, USA, April 15-17, 2010, pp. 61, 2010, ACM, 978-1-4503-0064-3. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
24 | Rudolf Ferenc |
Bug Forecast: A Method for Automatic Bug Prediction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FGIT-ASEA ![In: Advances in Software Engineering - International Conference, ASEA 2010, Held as Part of the Future Generation Information Technology Conference, FGIT 2010, Jeju Island, Korea, December 13-15, 2010. Proceedings, pp. 283-295, 2010, Springer, 978-3-642-17577-0. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
24 | Amir H. Moin, Mohammad Khansari 0002 |
Bug Localization Using Revision Log Analysis and Open Bug Repository Text Categorization. (PDF / PS) ![Search on Bibsonomy](Pics/bibsonomy.png) |
OSS ![In: Open Source Software: New Horizons - 6th International IFIP WG 2.13 Conference on Open Source Systems, OSS 2010, Notre Dame, IN, USA, May 30 - June 2, 2010. Proceedings, pp. 188-199, 2010, Springer, 978-3-642-13243-8. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
24 | Ricardo Artigas Langer, Leandro dos Santos Coelho, Gustavo Henrique Costa Oliveira |
K-Bug, A New Bug Approach for Mobile Robot's Path Planning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCA ![In: Proceedings of the IEEE International Conference on Control Applications, CCA 2007, Singapore, October 1-3, 2007, pp. 403-408, 2007, IEEE, 978-1-4244-0442-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
24 | Marco D'Ambros, Michele Lanza, Martin Pinzger 0001 |
"A Bug's Life" Visualizing a Bug Database. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VISSOFT ![In: Proceedings of the 4th IEEE International Workshop on Visualizing Software for Understanding and Analysis, VISSOFT 2007, Banff, Alberta, Canada, June 25-26, 2007, pp. 113-120, 2007, IEEE Computer Society, 1-4244-0600-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
24 | Chadd C. Williams, Jeffrey K. Hollingsworth |
Bug Driven Bug Finders. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MSR ![In: Proceedings of the 1st International Workshop on Mining Software Repositories, MSR@ICSE 2004, Edinburgh, Scotland, UK, 25th May 2004, pp. 70-74, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
24 | Henk van den Heuvel, Khalid Choukri, Harald Höge |
Give me a bug. a framework for a bug report service. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LREC ![In: Proceedings of the Third International Conference on Language Resources and Evaluation, LREC 2002, May 29-31, 2002, Las Palmas, Canary Islands, Spain, 2002, European Language Resources Association. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
24 | Chauncey E. Wilson, Kara Pernice Coyne |
The whiteboard: Tracking usability issues: to bug or not to bug? ![Search on Bibsonomy](Pics/bibsonomy.png) |
Interactions ![In: Interactions 8(3), pp. 15-19, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
24 | Soyeon Park, Shan Lu 0001, Yuanyuan Zhou 0001 |
CTrigger: exposing atomicity violation bugs from their hiding places. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASPLOS ![In: Proceedings of the 14th International Conference on Architectural Support for Programming Languages and Operating Systems, ASPLOS 2009, Washington, DC, USA, March 7-11, 2009, pp. 25-36, 2009, ACM, 978-1-60558-406-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
software testing, concurrency bug |
24 | Tibor Bakota, Árpád Beszédes, Rudolf Ferenc, Tibor Gyimóthy |
Continuous software quality supervision using SourceInventory and Columbus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE Companion ![In: 30th International Conference on Software Engineering (ICSE 2008), Leipzig, Germany, May 10-18, 2008, Companion Volume, pp. 931-932, 2008, ACM. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
continuous measurement, software quality assessment, software metrics, static verification, bug detection |
24 | Andrea Arcuri |
On the automation of fixing software bugs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE Companion ![In: 30th International Conference on Software Engineering (ICSE 2008), Leipzig, Germany, May 10-18, 2008, Companion Volume, pp. 1003-1006, 2008, ACM. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
automatic bug fixing, genetic programming, co-evolution, automated debugging, repair |
24 | Jeffrey S. Foster, Michael W. Hicks, William W. Pugh |
Improving software quality with static analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PASTE ![In: Proceedings of the 7th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering, PASTE'07, San Diego, California, USA, June 13-14, 2007, pp. 83-84, 2007, ACM, 978-1-59593-595-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
FFIs, Java, software quality, C, modularity, network protocols, data races, bugs, bug patterns |
24 | Michael D. Bond, Kathryn S. McKinley |
Probabilistic calling context. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA ![In: Proceedings of the 22nd Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2007, October 21-25, 2007, Montreal, Quebec, Canada, pp. 97-112, 2007, ACM, 978-1-59593-786-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
anomaly-based bug detection, dynamic context sensitivity, residual testing, intrusion detection, probabilistic, calling context, managed languages |
24 | Lingxiao Jiang, Zhendong Su 0001, Edwin Chiu |
Context-based detection of clone-related bugs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESEC/SIGSOFT FSE ![In: Proceedings of the 6th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2007, Dubrovnik, Croatia, September 3-7, 2007, pp. 55-64, 2007, ACM, 978-1-59593-811-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
code clone detection, code clone-related bugs, context-based bug detection, inconsistencies |
24 | Janaki T. Madhavan, E. James Whitehead Jr. |
Predicting buggy changes inside an integrated development environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ETX ![In: Proceedings of the 2007 OOPSLA workshop on Eclipse Technology eXchange, ETX 2007, Montreal, Quebec, Canada, October 21, 2007, pp. 36-40, 2007, ACM, 978-1-60558-015-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
integrated development environments, bug prediction |
24 | Qi Gao 0004, Feng Qin, Dhabaleswar K. Panda 0001 |
DMTracker: finding bugs in large-scale parallel programs by detecting anomaly in data movements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SC ![In: Proceedings of the ACM/IEEE Conference on High Performance Networking and Computing, SC 2007, November 10-16, 2007, Reno, Nevada, USA, pp. 15, 2007, ACM Press, 978-1-59593-764-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
parallel programs, anomaly detection, data movements, bug detection |
24 | Sergiy Boroday, Alexandre Petrenko, J. Singh, Hesham Hallal |
Dynamic analysis of java applications for multithreaded antipatterns. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGSOFT Softw. Eng. Notes ![In: ACM SIGSOFT Softw. Eng. Notes 30(4), pp. 1-7, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Java, multithreading, instrumentation, bytecode, bug patterns, antipatterns |
24 | Jeremy S. Bradbury, James R. Cordy, Jürgen Dingel |
An empirical framework for comparing effectiveness of testing and property-based formal analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PASTE ![In: Proceedings of the 2005 ACM SIGPLAN-SIGSOFT Workshop on Program Analysis For Software Tools and Engineering, PASTE'05, Lisbon, Portugal, September 5-6, 2005, pp. 2-5, 2005, ACM, 1-59593-239-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
model checking, static analysis, empirical software engineering, mutation testing, bug detection |
24 | Zsolt Öry |
A theory driven approach to century change. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSMR ![In: 1st Euromicro Working Conference on Software Maintenance and Reengineering (CSMR '97), 17-19 March 1997, Berlin, Germany, pp. 101-105, 1997, IEEE Computer Society, 0-8186-7892-5. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
theory-driven approach, century change, software maintenance demand, program bugs, system migration costs, software maintenance capabilities, bug load, mechanical approaches, data integrity, error rates, cost-effectiveness, criteria, Year 2000 problem |
24 | F. C. Smith |
Ethical Responsibilities and Legal Liabilities of Network Security Professionals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACSAC ![In: 13th Annual Computer Security Applications Conference (ACSAC 1997), 8-12 December 1997, San Diego, CA, USA, pp. 239-250, 1997, IEEE Computer Society, 0-8186-8274-4. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
ethical responsibilities, legal liabilities, network security professionals, tort litigation, unregulated economic environment, public law enforcement, criminal abuses, technical solutions, civil wrongs, individual liberty, group liberty, criminal law, civil law, computer literate lawyers, computer security failures, millennium bug, legal liability, social redress, computer networks, computer networking, morality, network vulnerabilities, Year 2000 problem |
21 | Byeongcheol Lee, Ben Wiedermann, Martin Hirzel, Robert Grimm 0001, Kathryn S. McKinley |
Jinn: synthesizing dynamic bug detectors for foreign language interfaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the 2010 ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2010, Toronto, Ontario, Canada, June 5-10, 2010, pp. 36-49, 2010, ACM, 978-1-4503-0019-3. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
ffi bugs, foreign function interfaces (FFI), java native interface (jni), multilingual programs, python/C, specification generation, specification, dynamic analysis |
21 | Piramanayagam Arumuga Nainar, Ben Liblit |
Adaptive bug isolation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE (1) ![In: Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 1, ICSE 2010, Cape Town, South Africa, 1-8 May 2010, pp. 255-264, 2010, ACM, 978-1-60558-719-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
binary instrumentation, control-dependence graphs, dynamic feedback, dyninst, heuristic search, statistical debugging |
21 | Dasarath Weeratunge, Xiangyu Zhang 0001, Suresh Jagannathan |
Analyzing multicore dumps to facilitate concurrency bug reproduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASPLOS ![In: Proceedings of the 15th International Conference on Architectural Support for Programming Languages and Operating Systems, ASPLOS 2010, Pittsburgh, Pennsylvania, USA, March 13-17, 2010, pp. 155-166, 2010, ACM, 978-1-60558-839-1. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
reproduction, multi-core, concurrency bugs, execution indexing |
21 | Javier Antich, Alberto Ortiz 0001, Javier Minguez |
A Bug-inspired algorithm for efficient anytime path planning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IROS ![In: 2009 IEEE/RSJ International Conference on Intelligent Robots and Systems, October 11-15, 2009, St. Louis, MO, USA, pp. 5407-5413, 2009, IEEE, 978-1-4244-3803-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
21 | Ben Liblit |
Reflections on the Role of Static Analysis in Cooperative Bug Isolation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAS ![In: Static Analysis, 15th International Symposium, SAS 2008, Valencia, Spain, July 16-18, 2008. Proceedings, pp. 18-31, 2008, Springer, 978-3-540-69163-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
21 | Saeed Parsa, Somaye Arabi Naree, Mojtaba Vahidi-Asl |
A Learning Approach to Early Bug Prediction in Deployed Software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AIMSA ![In: Artificial Intelligence: Methodology, Systems, and Applications, 13th International Conference, AIMSA 2008, Varna, Bulgaria, September 4-6, 2008. Proceedings, pp. 400-404, 2008, Springer, 978-3-540-85775-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
21 | Yannis Smaragdakis, Christoph Csallner |
Combining Static and Dynamic Reasoning for Bug Detection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAP ![In: Tests and Proofs - 1st International Conference, TAP 2007, Zurich, Switzerland, February 12-13, 2007. Revised Papers, pp. 1-16, 2007, Springer, 978-3-540-73769-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
21 | Jens R. Calamé, Natalia Ioustinova, Jaco van de Pol, Natalia Sidorova |
Bug Hunting with False Negatives. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods, 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007, Proceedings, pp. 98-117, 2007, Springer, 978-3-540-73209-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
21 | Sebastian G. Elbaum, Suzette Person, Jonathan Dokulil, Matthew Jorde |
Bug Hunt: Making Early Software Testing Lessons Engaging and Affordable. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE ![In: 29th International Conference on Software Engineering (ICSE 2007), Minneapolis, MN, USA, May 20-26, 2007, pp. 688-697, 2007, IEEE Computer Society, 0-7695-2828-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Software Testing Education, Web-based Tutorial |
21 | Hemant Joshi, Chuanlei Zhang, Srini Ramaswamy, Coskun Bayrak |
Local and Global Recency Weighting Approach to Bug Prediction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MSR ![In: Fourth International Workshop on Mining Software Repositories, MSR 2007 (ICSE Workshop), Minneapolis, MN, USA, May 19-20, 2007, Proceedings, pp. 33, 2007, IEEE Computer Society, 0-7695-2950-X. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
21 | John Anvik, Gail C. Murphy |
Determining Implementation Expertise from Bug Reports. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MSR ![In: Fourth International Workshop on Mining Software Repositories, MSR 2007 (ICSE Workshop), Minneapolis, MN, USA, May 19-20, 2007, Proceedings, pp. 2, 2007, IEEE Computer Society, 0-7695-2950-X. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
21 | Eric Larson |
SUDS: an infrastructure for dynamic software bug detection using static analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGSOFT Softw. Eng. Notes ![In: ACM SIGSOFT Softw. Eng. Notes 31(6), pp. 1-2, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
software engineering, software testing, static analysis, instrumentation, software verification, testing tools |
21 | Diomidis Spinellis |
Bug Busters. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Softw. ![In: IEEE Softw. 23(2), pp. 92-93, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Lint, annotations, tools, errors, type checking, bugs |
21 | Chadd C. Williams, Jeffrey K. Hollingsworth |
Automatic Mining of Source Code Repositories to Improve Bug Finding Techniques. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 31(6), pp. 466-480, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
version control, Testing tools, debugging aids, configuration control |
21 | Yichen Xie 0001, Alexander Aiken |
Saturn: A SAT-Based Tool for Bug Detection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification, 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings, pp. 139-143, 2005, Springer, 3-540-27231-3. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
21 | Fabiano A. Fonseca, Robert Pinto, Wagner Meira Jr. |
Increasing User's Privacy Control through Flexible Web Bug Detection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LA-WEB ![In: Third Latin American Web Congress (LA-Web 2005), 1 October - 2 November 2005, Buenos Aires, Argentina, pp. 205-212, 2005, IEEE Computer Society, 0-7695-2471-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
21 | Michael Fischer 0001, Martin Pinzger 0001, Harald C. Gall |
Analyzing and Relating Bug Report Data for Feature Tracking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WCRE ![In: 10th Working Conference on Reverse Engineering, WCRE 2003, Victoria, Canada, November 13-16, 2003, pp. 90-101, 2003, IEEE Computer Society, 0-7695-2027-8. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
21 | Yosi Ben-Asher, Eitan Farchi, Yaniv Eytani |
Heuristics for Finding Concurrent Bug. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPDPS ![In: 17th International Parallel and Distributed Processing Symposium (IPDPS 2003), 22-26 April 2003, Nice, France, CD-ROM/Abstracts Proceedings, pp. 288, 2003, IEEE Computer Society, 0-7695-1926-1. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
21 | V. Benjamin Livshits, Monica S. Lam |
Tracking pointers with path and context sensitivity for bug detection in C programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESEC / SIGSOFT FSE ![In: Proceedings of the 11th ACM SIGSOFT Symposium on Foundations of Software Engineering 2003 held jointly with 9th European Software Engineering Conference, ESEC/FSE 2003, Helsinki, Finland, September 1-5, 2003, pp. 317-326, 2003, ACM, 978-1-58113-743-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
SSA representation, program analysis, error detection, software security, pointer analysis, program representation, context-sensitive analysis, buffer overruns, path-sensitive analysis, security flaws |
21 | Luciano Baresi, Giovanni Denaro, Luca Mainetti, Paolo Paolini |
Assertions to better specify the amazon bug. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEKE ![In: Proceedings of the 14th international conference on Software engineering and knowledge engineering, SEKE 2002, Ischia, Italy, July 15-19, 2002, pp. 585-592, 2002, ACM, 1-58113-556-4. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
web operation, assertions, web application design |
21 | Leah Goldin, Lilach Rochell |
Software Development Bug Tracking: "Tool Isn't User Friendly" or "User Isn't Process Friendly". ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECSQ ![In: Software Quality - ECSQ 2002, 7th International Conference, Helsinki, Finland, June 9-13, 2002, Proceedings, pp. 226-235, 2002, Springer, 3-540-43749-5. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
21 | Yossi Malka, Avi Ziv |
Design Reliability - Estimation through Statistical Analysis of Bug Discovery Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 35th Conference on Design Automation, Moscone center, San Francico, California, USA, June 15-19, 1998., pp. 644-649, 1998, ACM Press, 0-89791-964-5. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
21264, coverage anaysis, verification, architecture, validation, microprocessor, PowerPC, pseudo-random, Alpha |
17 | Matthew Canton |
The presence table: a reactive surface for ambient connection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TEI ![In: Proceedings of the 5th International Conference on Tangible and Embedded Interaction 2011, Funchal, Madeira, Portugal, January 22-26, 2011, pp. 401-402, 2011, ACM, 978-1-4503-0478-8. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
17 | Cormac Flanagan, Stephen N. Freund |
Adversarial memory for detecting destructive races. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the 2010 ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2010, Toronto, Ontario, Canada, June 5-10, 2010, pp. 244-254, 2010, ACM, 978-1-4503-0019-3. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
concurrency, dynamic analysis, race conditions, relaxed memory models |
17 | Wei Zhang 0022, Chong Sun, Shan Lu 0001 |
ConMem: detecting severe concurrency bugs through an effect-oriented approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASPLOS ![In: Proceedings of the 15th International Conference on Architectural Support for Programming Languages and Operating Systems, ASPLOS 2010, Pittsburgh, Pennsylvania, USA, March 13-17, 2010, pp. 179-192, 2010, ACM, 978-1-60558-839-1. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
software testing, concurrency bugs |
17 | Liguo Yu, Srini Ramaswamy, R. B. Lenin, V. Lakshmi Narasimhan |
Time series analysis of open-source software projects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Southeast Regional Conference ![In: Proceedings of the 47th Annual Southeast Regional Conference, 2009, Clemson, South Carolina, USA, March 19-21, 2009, 2009, ACM, 978-1-60558-421-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
prediction, correlation, regression, mailing lists |
17 | Patrick Knab, Harald C. Gall, Martin Pinzger 0001 |
Smart views for analyzing problem reports: tool demo. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESEC/SIGSOFT FSE ![In: Proceedings of the 7th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2009, Amsterdam, The Netherlands, August 24-28, 2009, pp. 289-290, 2009, ACM, 978-1-60558-001-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
visualization, effort estimation, process metrics |
17 | Satish Chandra 0001, Stephen J. Fink, Manu Sridharan |
Snugglebug: a powerful approach to weakest preconditions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the 2009 ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2009, Dublin, Ireland, June 15-21, 2009, pp. 363-374, 2009, ACM, 978-1-60558-392-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
interprocedural analysis, weakest preconditions, symbolic analysis |
17 | Stephanie Forrest, ThanhVu Nguyen, Westley Weimer, Claire Le Goues |
A genetic programming approach to automated software repair. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GECCO ![In: Genetic and Evolutionary Computation Conference, GECCO 2009, Proceedings, Montreal, Québec, Canada, July 8-12, 2009, pp. 947-954, 2009, ACM, 978-1-60558-325-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
software repair, software engineering, genetic programming |
17 | Christoph Gladisch |
Could We Have Chosen a Better Loop Invariant or Method Contract?. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAP@TOOLS ![In: Tests and Proofs - 3rd International Conference, TAP@TOOLS 2009, Zurich, Switzerland, July 2-3, 2009. Proceedings, pp. 74-89, 2009, Springer, 978-3-642-02948-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
17 | Thomas Ball, Sebastian Burckhardt, Jonathan de Halleux, Madanlal Musuvathi, Shaz Qadeer |
Deconstructing concurrency heisenbugs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE Companion ![In: 31st International Conference on Software Engineering, ICSE 2009, May 16-24, 2009, Vancouver, Canada, Companion Volume, pp. 403-404, 2009, IEEE, 978-1-4244-3494-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
17 | Bruno Rossi 0001, Barbara Russo, Giancarlo Succi |
Analysis of Open Source Software Development Iterations by Means of Burst Detection Techniques. (PDF / PS) ![Search on Bibsonomy](Pics/bibsonomy.png) |
OSS ![In: Open Source Ecosystems: Diverse Communities Interacting, 5th IFIP WG 2.13 International Conference on Open Source Systems, OSS 2009, Skövde, Sweden, June 3-6, 2009. Proceedings, pp. 83-93, 2009, Springer, 978-3-642-02031-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
17 | Rotem Oshman |
An Automata-Theoretic Dynamic Completeness Criterion for Bounded Model-Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VMCAI ![In: Verification, Model Checking, and Abstract Interpretation, 10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009. Proceedings, pp. 275-289, 2009, Springer, 978-3-540-93899-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
17 | Prasanth Anbalagan, Mladen A. Vouk |
On mining data across software repositories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MSR ![In: Proceedings of the 6th International Working Conference on Mining Software Repositories, MSR 2009 (Co-located with ICSE), Vancouver, BC, Canada, May 16-17, 2009, Proceedings, pp. 171-174, 2009, IEEE Computer Society, 978-1-4244-3493-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
17 | Patrick Knab, Beat Fluri, Harald C. Gall, Martin Pinzger 0001 |
Interactive views for analyzing problem reports. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSM ![In: 25th IEEE International Conference on Software Maintenance (ICSM 2009), September 20-26, 2009, Edmonton, Alberta, Canada, pp. 527-530, 2009, IEEE Computer Society, 978-1-4244-4897-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
17 | Shahar Sarid, Amir Shapiro |
Classifying the multi robot path finding problem into a quadratic competitive complexity class. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Math. Artif. Intell. ![In: Ann. Math. Artif. Intell. 52(2-4), pp. 169-203, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classifications (2000) 68Q25, 68T40, 11Y16, 93C85, 68Q17, 68Q15, 68W40, 68W15 |
17 | Chao Liu 0001, Xiangyu Zhang 0001, Jiawei Han 0001 |
A Systematic Study of Failure Proximity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 34(6), pp. 826-843, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
17 | Yomi Kastro, Ayse Basar Bener |
A defect prediction method for software versioning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Qual. J. ![In: Softw. Qual. J. 16(4), pp. 543-562, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Neural networks, Defect prediction, Software defects |
17 | Erik Jan Marinissen |
Bugs, moths, grasshoppers, and whales. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Des. Test Comput. ![In: IEEE Des. Test Comput. 25(3), pp. 288, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
17 | Andreas Zeller |
Learning from software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISEC ![In: Proceeding of the 1st Annual India Software Engineering Conference, ISEC 2008, Hyderabad, India, February 19-22, 2008, pp. 1, 2008, ACM, 978-1-59593-917-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
mining software archives |
17 | Shen Zhang, Yongji Wang 0002, Junchao Xiao |
Mining Individual Performance Indicators in Collaborative Development Using Software Repositories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APSEC ![In: 15th Asia-Pacific Software Engineering Conference (APSEC 2008), 3-5 December 2008, Beijing, China, pp. 247-254, 2008, IEEE Computer Society, 978-0-7695-3446-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
17 | Yannis Smaragdakis |
Combining Static and Dynamic Reasoning for the Discovery of Program Properties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking Software, 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008, Proceedings, pp. 7-8, 2008, Springer, 978-3-540-85113-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
17 | Naoya Maruyama, Satoshi Matsuoka |
Model-based fault localization in large-scale computing systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPDPS ![In: 22nd IEEE International Symposium on Parallel and Distributed Processing, IPDPS 2008, Miami, Florida USA, April 14-18, 2008, pp. 1-12, 2008, IEEE. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
17 | Daniel von Dincklage, Amer Diwan |
Explaining failures of program analyses. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the ACM SIGPLAN 2008 Conference on Programming Language Design and Implementation, Tucson, AZ, USA, June 7-13, 2008, pp. 260-269, 2008, ACM, 978-1-59593-860-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
analyses, reasons |
17 | Yasuhiro Hayase, Yii Yong Lee, Katsuro Inoue |
A criterion for filtering code clone related bugs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEFECTS ![In: Proceedings of the 2008 Workshop on Defects in Large Software Systems, held in conjunction with the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2008), DEFECTS 2008, Seattle, Washington, USA, July 20, 2008, pp. 37-38, 2008, ACM, 978-1-60558-051-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
defect mining, code clone |
17 | Goh Kondoh, Tamiya Onodera |
Finding bugs in java native interface programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2008, Seattle, WA, USA, July 20-24, 2008, pp. 109-118, 2008, ACM, 978-1-60558-050-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
typestate analysis, static analysis, java native interface |
17 | Jean-Michel Dalle, Matthijs den Besten, Héla Masmoudi |
Channeling Firefox Developers: Mom and Dad Aren't Happy Yet. (PDF / PS) ![Search on Bibsonomy](Pics/bibsonomy.png) |
OSS ![In: Open Source Development, Communities and Quality, IFIP 20th World Computer Congress, Working Group 2.3 on Open Source Software, OSS 2008, September 7-10, 2008, Milano, Italy, pp. 265-271, 2008, Springer, 978-0-387-09683-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
17 | Ilir Gashi, Peter T. Popov, Lorenzo Strigini |
Fault Tolerance via Diversity for Off-the-Shelf Products: A Study with SQL Database Servers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Dependable Secur. Comput. ![In: IEEE Trans. Dependable Secur. Comput. 4(4), pp. 280-294, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Error processing, fault records, non-crash failures, database availability, Fault tolerance, Reliability, Relational databases, experimental results, design diversity, availability and serviceability, COTS software |
17 | Arie Matsliah, Ofer Strichman |
Underapproximation for Model-Checking Based on Random Cryptographic Constructions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification, 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings, pp. 339-351, 2007, Springer, 978-3-540-73367-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Lerina Aversano, Luigi Cerulo, Massimiliano Di Penta |
How Clones are Maintained: An Empirical Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSMR ![In: 11th European Conference on Software Maintenance and Reengineering, Software Evolution in Complex Software Intensive Systems, CSMR 2007, 21-23 March 2007, Amsterdam, The Netherlands, pp. 81-90, 2007, IEEE Computer Society, 0-7695-2802-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
17 | W. Eric Wong, Yu Qi, Lei Zhao, Kai-Yuan Cai |
Effective Fault Localization using Code Coverage. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC (1) ![In: 31st Annual International Computer Software and Applications Conference, COMPSAC 2007, Beijing, China, July 24-27, 2007. Volume 1, pp. 449-456, 2007, IEEE Computer Society, 978-0-7695-2870-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Jun Chen 0018, Steve MacDonald |
Testing concurrent programs using value schedules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2007), November 5-9, 2007, Atlanta, Georgia, USA, pp. 313-322, 2007, ACM, 978-1-59593-882-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
value schedule, model checking, concurrent |
17 | Robert Tairas, Jeff Gray 0001, Ira D. Baxter |
Visualizing clone detection results. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2007), November 5-9, 2007, Atlanta, Georgia, USA, pp. 549-550, 2007, ACM, 978-1-59593-882-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
visualization, clone detection |
17 | Yuji Chiba |
Heap protection for Java virtual machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPPJ ![In: Proceedings of the 4th International Symposium on Principles and Practice of Programming in Java, PPPJ 2006, Mannheim, Germany, August 30 - September 1, 2006, pp. 103-112, 2006, ACM, 3-939352-05-5. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
17 | C. Seger |
Integrating design and verification - from simple idea to practical system. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: 4th ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2006), 27-29 July 2006, Embassy Suites, Napa, California, USA, pp. 161, 2006, IEEE Computer Society, 1-4244-0421-5. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
17 | Arie Gurfinkel, Ou Wei, Marsha Chechik |
Yasm: A Software Model-Checker for Verification and Refutation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification, 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings, pp. 170-174, 2006, Springer, 3-540-37406-X. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
17 | Anupriya Ankolekar, Katia P. Sycara, James D. Herbsleb, Robert E. Kraut, Christopher A. Welty |
Supporting online problem-solving communities with the semantic web. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WWW ![In: Proceedings of the 15th international conference on World Wide Web, WWW 2006, Edinburgh, Scotland, UK, May 23-26, 2006, pp. 575-584, 2006, ACM, 1-59593-323-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
open source software communities, human-computer interaction, computer-supported cooperative work, semantic web applications |
17 | Jaime Spacco, David Hovemeyer, William W. Pugh, Fawzi Emad, Jeffrey K. Hollingsworth, Nelson Padua-Perez |
Experiences with marmoset: designing and using an advanced submission and testing system for programming courses. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITiCSE ![In: Proceedings of the 11th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, ITiCSE 2006, Bologna, Italy, June 26-28, 2006, pp. 13-17, 2006, ACM, 1-59593-055-8. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
code snapshots, project submission, testing |
17 | Gunnar Kudrjavets, Nachiappan Nagappan, Thomas Ball |
Assessing the Relationship between Software Assertions and Faults: An Empirical Investigation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSRE ![In: 17th International Symposium on Software Reliability Engineering (ISSRE 2006), 7-10 November 2006, Raleigh, North Carolina, USA, pp. 204-212, 2006, IEEE Computer Society, 0-7695-2684-5. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
17 | Long Fei, Samuel P. Midkiff |
Artemis: practical runtime monitoring of applications for execution anomalies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the ACM SIGPLAN 2006 Conference on Programming Language Design and Implementation, Ottawa, Ontario, Canada, June 11-14, 2006, pp. 84-95, 2006, ACM, 1-59593-320-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
context invariant, dynamic context, pointer-type table, selective monitoring, value invariant, debugging, runtime monitoring |
17 | Panagiotis Manolios |
Refinement and Theorem Proving. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SFM ![In: Formal Methods for Hardware Verification, 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006, Advanced Lectures, pp. 176-210, 2006, Springer, 978-3-540-34304-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
17 | Josep Silva, Olaf Chitil |
Combining algorithmic debugging and program slicing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 8th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 10-12, 2006, Venice, Italy, pp. 157-166, 2006, ACM, 1-59593-388-3. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
algorithmic debugging, program slicing |
17 | Domenico Cotroneo, Salvatore Orlando 0002, Stefano Russo 0001 |
Failure classification and analysis of the Java Virtual Machine. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDCS ![In: 26th IEEE International Conference on Distributed Computing Systems (ICDCS 2006), 4-7 July 2006, Lisboa, Portugal, pp. 17, 2006, IEEE Computer Society, 0-7695-2540-7. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Dependability, Java Virtual Machine, Failure Analysis, Failure Diagnosis |
17 | Jinlin Yang, David Evans 0001, Deepali Bhardwaj, Thirumalesh Bhat, Manuvir Das |
Perracotta: mining temporal API rules from imperfect traces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE ![In: 28th International Conference on Software Engineering (ICSE 2006), Shanghai, China, May 20-28, 2006, pp. 282-291, 2006, ACM, 1-59593-375-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
dynamic analysis, temporal properties, specification inference |
17 | Peter Weißgerber, Stephan Diehl 0001, Carsten Görg |
Mining refactorings in ARGOUML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MSR ![In: Proceedings of the 2006 International Workshop on Mining Software Repositories, MSR 2006, Shanghai, China, May 22-23, 2006, pp. 175-176, 2006, ACM, 1-59593-397-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
mails, evolution, refactoring, bugs, re-engineering |
17 | Nancy Van Schooenderwoert |
Embedded Agile Project by the Numbers With Newbies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AGILE ![In: AGILE 2006 Conference (AGILE 2006), 23-28 July 2006, Minneapolis, Minnesota, USA, pp. 351-366, 2006, IEEE Computer Society, 0-7695-2562-8. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
17 | Yuanyuan Zhou 0001, Pin Zhou, Feng Qin, Wei Liu 0014, Josep Torrellas |
Efficient and flexible architectural support for dynamic monitoring. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Archit. Code Optim. ![In: ACM Trans. Archit. Code Optim. 2(1), pp. 3-33, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
dynamic monitoring, thread-level speculation (TLS), software debugging, Architectural support |
17 | Gerardo Canfora, Luigi Cerulo |
Impact Analysis by Mining Software and Change Request Repositories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE METRICS ![In: 11th IEEE International Symposium on Software Metrics (METRICS 2005), 19-22 September 2005, Como Italy, pp. 29, 2005, IEEE Computer Society, 0-7695-2371-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
Displaying result #301 - #400 of 2840 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ >>] |
|