Tag afmining [37 articles] Export Sort

Recent papers classified by the tag afmining.

Hide details

	Failure proximity: a fault localization-based approach [My Copy] In SIGSOFT '06/FSE-14: Proceedings of the 14th ACM SIGSOFT international symposium on Foundations of software engineering (2006), pp. 46-56. by Chao Liu, Jiawei Han posted to afmining softwareengineering by rblake to the group uiuc-cs on 2007-03-02 06:37:30 as along with 1 person V
	SOBER: statistical model-based bug localization [My Copy] In ESEC/FSE-13: Proceedings of the 10th European software engineering conference held jointly with 13th ACM SIGSOFT international symposium on Foundations of software engineering, Vol. 30, No. 5. (September 2005), pp. 286-295. by Chao Liu, Xifeng Yan, Long Fei, Jiawei Han, Samuel P. Midkiff posted to afmining by alec on 2006-06-14 17:50:00 as along with 1 person and 1 group rblake uiuc-cs
	Improving Data-flow Analysis with Path Profiles [My Copy] In SIGPLAN Conference on Programming Language Design and Implementation (1998), pp. 72-84. by Glenn Ammons, James R. Larus posted to afmining by alec on 2006-06-12 23:22:31 as along with 1 person iff
	Dynamically inferring temporal properties [My Copy] In PASTE '04: Proceedings of the ACM-SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering (2004), pp. 23-28. by Jinlin Yang, David Evans posted to afmining by alec on 2006-06-12 19:06:06 as
	From Run-time Behavior to Usage Scenarios: An Interaction-Pattern Mining Approach [My Copy] by Mohammad E. Ramly, Eleni Stroulia, Paul Sorenson posted to afmining by alec on 2006-06-12 19:04:44 as along with 1 person kmartine
	Encoding Program Executions [My Copy] In Proceedings of the 23rd International Conference on Software Engineering (2001), pp. 221-230. by Steven P. Reiss, Manos Renieris posted to afmining by alec on 2006-06-12 19:03:23 as
	The sk-strings method for inferring PFSA [My Copy] (1997) by A. Raman, J. Patrick posted to afmining by alec on 2006-06-12 19:02:44 as along with 1 person bfraser
	Static verification of dynamically detected program invariants: Integrating Daikon and ESC/Java [My Copy] (2001) by Jeremy W. Nimmer, Michael D. Ernst posted to afmining by alec on 2006-06-12 19:02:17 as along with 1 person and 1 group jolilius TUCS-ES_Lab
	Automatic generation of program specifications [My Copy] (2002) by J. Nimmer, M. Ernst posted to afmining by alec on 2006-06-12 19:01:50 as along with 2 people and 2 groups sjgaller newdawn Context-driven-testers Desgin-by-Contract
	Invariant inference for static checking: [My Copy] In SIGSOFT '02/FSE-10: Proceedings of the 10th ACM SIGSOFT symposium on Foundations of software engineering (2002), pp. 11-20. by Jeremy W. Nimmer, Michael D. Ernst posted to afmining by alec on 2006-06-12 19:00:50 as
	Automatic extraction of object-oriented component interfaces [My Copy] In Proceedings of the International Symposium of Software Testing and Analysis, 2002. (2002) by J. Whaley, M. Martin, M. Lam posted to afmining by alec on 2006-06-12 18:59:43 as
	Jungloid mining: helping to navigate the API jungle [My Copy] SIGPLAN Not. In PLDI '05: Proceedings of the 2005 ACM SIGPLAN conference on Programming language design and implementation, Vol. 40, No. 6. (June 2005), pp. 48-61. by David Mandelin, Lin Xu, Rastislav Bod'ik, Doug Kimelman posted to afmining by alec on 2006-06-12 18:44:25 as along with 2 people akuhn yang
	Dynamine: Finding Common Error Patterns by Mining Software Revision Histories [My Copy] (2005) by V. Livshits, T. Zimmermann posted to afmining by alec on 2006-06-12 18:43:41 as along with 1 person pollaeng
	PR-Miner: automatically extracting implicit programming rules and detecting violations in large software code [My Copy] In ESEC/FSE-13: Proceedings of the 10th European software engineering conference held jointly with 13th ACM SIGSOFT international symposium on Foundations of software engineering, Vol. 30, No. 5. (September 2005), pp. 306-315. by Zhenmin Li, Yuanyuan Zhou posted to afmining by alec on 2006-06-12 18:41:20 as along with 4 people himosqui jespera pfrancis fgeller
	Visualization of test information to assist fault localization [My Copy] In ICSE '02: Proceedings of the 24th International Conference on Software Engineering (2002), pp. 467-477. by James A. Jones, Mary J. Harrold, John Stasko posted to afmining by alec on 2006-06-12 18:40:04 as along with 7 people thermostat alexloh80 creswick emerson V duckysherwood newdawn
	Tracking down software bugs using automatic anomaly detection [My Copy] In ICSE '02: Proceedings of the 24th International Conference on Software Engineering (2002), pp. 291-301. by Sudheendra Hangal, Monica S. Lam posted to afmining by alec on 2006-06-12 18:38:41 as along with 2 people irejectthispaper wjfjin
	Finding failures by cluster analysis of execution profiles [My Copy] In ICSE '01: Proceedings of the 23rd International Conference on Software Engineering (2001), pp. 339-348. by William Dickinson, David Leon, Andy Podgurski posted to afmining by alec on 2006-06-12 18:36:21 as
	Data mining and cross-checking of execution traces: a re-interpretation of Jones, Harrold and Stasko test information [My Copy] In ASE '05: Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering (2005), pp. 396-399. by Tristan Denmat, Mireille Ducass&\#233;, Olivier Ridoux posted to afmining by alec on 2006-06-12 18:34:56 as
	Lightweight Defect Localization for Java [My Copy] Lecture Notes in Computer Science, Vol. 3586 (2005), pp. 528-550. by Valentin Dallmeier, Christian Lindig, Andreas Zeller posted to afmining by alec on 2006-06-12 18:33:32 as
	Discovering models of software processes from event-based data [My Copy] ACM Trans. Softw. Eng. Methodol., Vol. 7, No. 3. (July 1998), pp. 215-249. by Jonathan E. Cook, Alexander L. Wolf posted to afmining by alec on 2006-06-12 18:30:51 as along with 8 people and 4 groups igorbandeira seninp mzp herraiz manuelpq hawkestein gameweld smogit Personal-Information-Management DialogueResearchGroup Workflow Mining DAKS-Kepler
	Finding latent code errors via machine learning over program executions [My Copy] by Y. Brun, M. Ernst posted to afmining by alec on 2006-06-12 18:26:04 as
	Active Learning for Automatic Classification of Software [My Copy] by James F. Bowring, James M. Rehg, Mary J. Harrold posted to afmining by alec on 2006-06-12 18:24:44 as along with 2 people education03 charlescearl
	Improving the Classification of Software Behaviors Using Ensembles of Control-Flow and Data-Flow Classifiers [My Copy] by James F. Bowring, Mary J. Harrold, James M. Rehg posted to afmining by alec on 2006-06-12 18:23:38 as
	Strauss: a specification miner [My Copy] (2003) by Glenn S. Ammons posted to afmining by alec on 2006-06-12 18:22:10 as
	Debugging Temporal Specifications with Concept Analysis [My Copy] (2003) by G. Ammons, D. Mandein, R. Bodik, J. Larus posted to afmining by alec on 2006-06-12 18:19:45 as
	Dynamically Discovering Likely Program Invariants to Support Program Evolution [My Copy] In International Conference on Software Engineering (1999), pp. 213-224. by Michael D. Ernst, Jake Cockrell, William G. Griswold, David Notkin posted to afmining by alec on 2006-06-12 14:46:38 as
	Anomaly detection using call stack information [My Copy] (2003) by H. Feng, O. Kolesnikov, P. Fogla, W. Lee, W. Gong posted to afmining by alec on 2006-06-09 23:39:38 as along with 1 person krisn11
	Mining specifications [My Copy] In Symposium on Principles of Programming Languages (2002), pp. 4-16. by Glenn Ammons, Rastislav Bodik, James R. Larus posted to afmining by alec on 2006-06-09 22:57:46 as
	Efficient Incremental Algorithms for Dynamic Detection of Likely Invariants [My Copy] In SIGSOFT'04/FSE-12 (2004) by Jeff H. Perkins, Michael D. Ernst posted to afmining by alec on 2006-06-09 22:17:03 as along with 4 people and 2 groups amorkan charlescearl schuh sjgaller Context-driven-testers Desgin-by-Contract
	Process discovery and validation through event-data analysis [My Copy] No. CU-CS-817-96. (1996) by Jonathan E. Cook posted to afmining by alec on 2006-06-07 23:30:17 as along with 1 person smogit
	Software Behavior: Automatic Classification and its Applications [My Copy] by James F. Bowring posted to afmining by alec on 2006-06-07 23:19:36 as
	Tool-assisted unit test selection based on operational violations [My Copy] (2003) by T. Xie, D. Notkin posted to afmining by alec on 2006-06-07 23:12:57 as along with 1 person statistic01
	Finding and preventing run-time error handling mistakes [My Copy] (2004) by W. Weimer, G. Necula posted to afmining by alec on 2006-06-07 23:06:54 as
	Automatic Discovery of API-Level Vulnerabilities [My Copy] by Vinod G. Sanjit posted to afmining by alec on 2006-06-07 23:06:39 as
	Model-Carrying Code: A Practical Approach for [My Copy] by Safe E. Of posted to afmining by alec on 2006-06-07 23:06:17 as
	Finding Application Errors and Security Flaws Using PQL: a Program Query Language [My Copy] by Michael Martin, Benjamin Livshits, Monica S. Lam posted to afmining by alec on 2006-06-07 23:05:59 as
	Dataflow Anomaly Detection [My Copy] by Sandeep B. Abhishek posted to afmining by alec on 2006-06-07 23:05:24 as