Powered by
Conference Publishing Consulting

2012 34th International Conference on Software Engineering (ICSE), June 2–9, 2012, Zurich, Switzerland

ICSE 2012 – Author Index

Contents - Abstracts - Authors
Online Calendar - iCal File

A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Adams, Bram ICSE '12-POSTER: "Using the GPGPU for Scaling ..." ICSE '12-SEE: "Five Days of Empirical Software ..."
Adve, Vikram ICSE '12: "Understanding Integer Overflow ..."
Aldrich, Jonathan ICSE '12: "Statically Checking API Protocol ..."
Alkhalaf, Muath ICSE '12: "Verifying Client-Side Input ..."
Al-Kofahi, Jafar ICSE '12: "Graph-Based Pattern-Oriented, ..."
Alrajeh, Dalal ICSE '12: "Generating Obstacle Conditions ..."
Alshahwan, Nadia ICSE '12-NIER: "Augmenting Test Suites Effectiveness ..."
Alves, Péricles ICSE '12-POSTER: "ConcernReCS: Finding Code ..."
Anckaerts, Guy ICSE '12-SEIP: "Efficient Reuse of Domain-Specific ..."
Andronick, June ICSE '12-SEIP: "Large-Scale Formal Verification ..."
Antoniol, Giuliano ICSE '12-SEE: "Five Days of Empirical Software ..."
Antunes, Bruno ICSE '12-POSTER: "SDiC: Context-Based Retrieval ..."
Apel, Sven ICSE '12: "Predicting Performance via ..."
April, Alain ICSE '12-SEE: "Integrating Tools and Frameworks ..."
Arcuri, Andrea ICSE '12: "Sound Empirical Evidence in ..."
Artzi, Shay ICSE '12: "Automated Repair of HTML Generation ..."
Astesiano, Egidio ICSE '12-POSTER: "SOA Adoption in the Italian ..."
Astromskis, Saulius ICSE '12-POSTER: "Egidio: A Non-Invasive Approach ..."
Atkinson, Colin ICSE '12-NIER: "Symbiotic General-Purpose ..."
Avancini, Andrea ICSE '12-DOCTORAL: "Security Testing of Web Applications: ..."
Bacchelli, Alberto ICSE '12: "Content Classification of ..."
Bagnato, Alessandra ICSE '12-POSTER: "FastFix: Monitoring Control ..."
Bailey, Brian P. ICSE '12: "Use, Disuse, and Misuse of ..."
Bailey, Christopher ICSE '12-DOCTORAL: "Application of Self-Adaptive ..."
Balan, Rajesh Krishna ICSE '12: "Overcoming the Challenges ..."
Balasubramaniam, Dharini ICSE '12: "An Automated Approach to Generating ..."
Barais, Olivier ICSE '12-NIER: "Towards Flexible Evolution ..."
Barr, Earl T. ICSE '12: "On the Naturalness of Software ..."
Batory, Don ICSE '12: "Predicting Performance via ..."
Bauvin, Renaud ICSE '12-SEIP: "Efficient Reuse of Domain-Specific ..."
Bavota, Gabriele ICSE '12-DOCTORAL: "Using Structural and Semantic ..." ICSE '12-NIER: "Evaluating the Specificity ..." ICSE '12-SEE: "Teaching Software Engineering ..." ICSE '12-TOOL: "Supporting Extract Class Refactoring ..."
Begel, Andrew ICSE '12-TOOL: "Facilitating Communication ..."
Bergel, Alexandre ICSE '12: "Object-Centric Debugging ..."
Berre, Arne J. ICSE '12-INVITED: "Refounding Software Engineering: ..."
Bhattacharya, Pamela ICSE '12: "Graph-Based Analysis and Prediction ..."
Bianculli, Domenico ICSE '12-SEIP: "Specification Patterns from ..."
Bieman, James M. ICSE '12-POSTER: "Repository for Model Driven ..."
Billingsley, William ICSE '12-SEE: "Using Continuous Integration ..."
Blincoe, Kelly ICSE '12-DOCTORAL: "Timely and Efficient Facilitation ..." ICSE '12-SRC: "Timely Detection of Coordination ..."
Bnayahu, Jonathan ICSE '12-SEIP: "Making Sense of Healthcare ..."
Böhme, Marcel ICSE '12-DOCTORAL: "Software Regression as Change ..."
Boos, Kevin ICSE '12-NIER: "Brace: An Assertion Framework ..."
Borchers, Jan ICSE '12-POSTER: "Blaze ..."
Bosnić, Ivana ICSE '12-SEE: "Ten Tips to Succeed in Global ..."
Bott, Jared N. ICSE '12-TOOL: "Code Bubbles: A Practical ..."
Bragdon, Andrew ICSE '12-SEIP: "Debugger Canvas: Industrial ..."
Braithwaite, Keith ICSE '12-SEIP: "Software as an Engineering ..."
Brereton, Pearl ICSE '12-SEE: "What Scope Is There for Adopting ..."
Brügge, Bernd ICSE '12-POSTER: "FastFix: Monitoring Control ..."
Brun, Yuriy ICSE '12-NIER: "Improving IDE Recommendations ..."
Budgen, David ICSE '12-SEE: "What Scope Is There for Adopting ..."
Budi, Aditya ICSE '12: "Active Refinement of Clone ..."
Bultan, Tevfik ICSE '12: "Verifying Client-Side Input ..."
Burge, Janet E. ICSE '12-NIER: "Exploring Techniques for Rationale ..."
Buse, Raymond P. L. ICSE '12: "Synthesizing API Usage Examples ..." ICSE '12-SEIP: "Information Needs for Software ..."
Butler, Simon ICSE '12-SRC: "Mining Java Class Identifier ..."
Cadar, Cristian ICSE '12: "make test-zesti: A Symbolic ..."
Cai, Yan ICSE '12: "MagicFuzzer: Scalable Deadlock ..."
Camilli, Matteo ICSE '12-SRC: "Petri Nets State Space Analysis ..."
Carbin, Michael ICSE '12: "Automatic Input Rectification ..."
Carzaniga, Antonio ICSE '12-POSTER: "A Self-Healing Technique for ..."
Casati, Fabio ICSE '12-NIER: "Towards Business Processes ..."
Čavrak, Igor ICSE '12-SEE: "Collaboration Patterns in ..."
Ceccato, Mariano ICSE '12: "An Empirical Study about the ..."
Champagne, Roger ICSE '12-SEE: "Integrating Tools and Frameworks ..."
Chan, W. K. ICSE '12: "MagicFuzzer: Scalable Deadlock ..."
Chandra, Satish ICSE '12: "Automating Test Automation ..."
Chapman, Clovis ICSE '12-SEIP: "Towards a Federated Cloud ..."
Chatti, Mohamed Amine ICSE '12-SEE: "Teaching Collaborative Software ..."
Chatzigeorgiou, Alexander ICSE '12-NIER: "Trends in Object-Oriented ..."
Chauvel, Franck ICSE '12-NIER: "Towards Flexible Evolution ..."
Chechik, Marsha ICSE '12: "Partial Models: Towards Modeling ..."
Chen, Nicholas ICSE '12: "Use, Disuse, and Misuse of ..."
Chen, Zhenyu ICSE '12-NIER: "Multi-label Software Behavior ..."
Cheng, Betty H. C. ICSE '12-POSTER: "Repository for Model Driven ..."
Chioaşcă, Erol-Valeriu ICSE '12-DOCTORAL: "Using Machine Learning to ..."
Cinar, Murat ICSE '12: "A Tactic-Centric Approach ..."
Cirilo, Elder ICSE '12-SEIP: "On the Proactive and Interactive ..."
Classen, Andreas ICSE '12: "Simulation-Based Abstractions ..."
Cleland-Huang, Jane ICSE '12: "Recommending Source Code for ..." ICSE '12: "A Tactic-Centric Approach ..." ICSE '12-NIER: "Toward Actionable, Broadly ..." ICSE '12-TOOL: "TraceLab: An Experimental ..."
Clesle, Frank-Dieter ICSE '12-KEYNOTES: "Supporting Sustainability ..."
Colanzi, Thelma Elita ICSE '12-DOCTORAL: "Search Based Design of Software ..."
Cook, Charles T. ICSE '12-TOOL: "Specification Engineering ..."
Cordeiro, Joel ICSE '12-POSTER: "SDiC: Context-Based Retrieval ..."
Cordy, Maxime ICSE '12: "Simulation-Based Abstractions ..."
Corrigan, James M. ICSE '12-NIER: "Augmented Intelligence - The ..."
Cowling, Tony ICSE '12-SEE: "Stages in Teaching Software ..."
Crnković, Ivica ICSE '12-SEE: "Ten Tips to Succeed in Global ..." ICSE '12-SEE: "Collaboration Patterns in ..."
Cugola, Gianpaolo ICSE '12-TOOL: "Writing Dynamic Service Orchestrations ..."
Cunha, Jácome ICSE '12-POSTER: "A Bidirectional Model-Driven ..." ICSE '12-TOOL: "MDSheet: A Framework for Model-Driven ..."
Czarnecki, Krzysztof ICSE '12: "Generating Range Fixes for ..."
Czauderna, Adam ICSE '12-NIER: "Toward Actionable, Broadly ..." ICSE '12-TOOL: "TraceLab: An Experimental ..."
Dagenais, Barthélémy ICSE '12: "Temporal Analysis of API Usage ..." ICSE '12: "Recovering Traceability Links ..."
Dal Sasso, Tommaso ICSE '12: "Content Classification of ..."
D'Ambros, Marco ICSE '12: "Content Classification of ..."
Dang, Yingnong ICSE '12: "Performance Debugging in the ..." ICSE '12-SEIP: "ReBucket: A Method for Clustering ..."
Daniel, Florian ICSE '12-NIER: "Towards Business Processes ..."
Dantas, Francisco ICSE '12-SEIP: "On the Proactive and Interactive ..."
Dantchev, Guenadi ICSE '12-NIER: "Towards Business Processes ..."
Dekhtyar, Alex ICSE '12-TOOL: "TraceLab: An Experimental ..."
DeLine, Robert ICSE '12-SEIP: "Debugger Canvas: Industrial ..."
De Lucia, Andrea ICSE '12-NIER: "Evaluating the Specificity ..." ICSE '12-SEE: "Teaching Software Engineering ..." ICSE '12-TOOL: "Supporting Extract Class Refactoring ..."
Demuth, Andreas ICSE '12-SRC: "Enabling Dynamic Metamodels ..."
Deprez, Jean-Christophe ICSE '12-SEIP: "Efficient Reuse of Domain-Specific ..."
Deursen, Arie van ICSE '12: "Test Confessions: A Study ..." ICSE '12: "Detecting and Visualizing ..."
Devanbu, Premkumar ICSE '12: "On the Naturalness of Software ..."
Devos, Nicolas ICSE '12-SEIP: "Efficient Reuse of Domain-Specific ..."
Dewey-Vogt, Michael ICSE '12: "A Systematic Study of Automated ..."
Dietz, Will ICSE '12: "Understanding Integer Overflow ..."
Dilshener, Tezcan ICSE '12-DOCTORAL: "Improving Information Retrieval-Based ..."
Di Penta, Massimiliano ICSE '12-SEE: "Five Days of Empirical Software ..."
D'Ippolito, Nicolás ICSE '12-DOCTORAL: "Synthesis of Event-Based Controllers: ..."
Di Ruscio, Davide ICSE '12-TOOL: "EVOSS: A Tool for Managing ..."
Dit, Bogdan ICSE '12: "Integrated Impact Analysis ..."
Dong, Jin Song ICSE '12-NIER: "Analyzing Multi-agent Systems ..."
Dorn, Christoph ICSE '12-NIER: "Co-adapting Human Collaborations ..."
Downs, John ICSE '12: "Ambient Awareness of Build ..."
Drummond, Sarah ICSE '12-SEE: "What Scope Is There for Adopting ..."
Duala-Ekoko, Ekwa ICSE '12: "Asking and Answering Questions ..."
DuBose, Quinton L. ICSE '12: "Reconciling Manual and Automatic ..."
Duesterwald, Evelyn ICSE '12-NIER: "Inferring Developer Expertise ..."
Eder, Sebastian ICSE '12-SEIP: "How Much Does Unused Code ..."
Elbaum, Sebastian ICSE '12: "Amplifying Tests to Validate ..."
Elvesæter, Brian ICSE '12-INVITED: "Refounding Software Engineering: ..."
Elyasov, Alexander ICSE '12-DOCTORAL: "Log-Based Testing ..."
Eriksson, Joakim ICSE '12-NIER: "Towards Business Processes ..."
Ernst, Michael D. ICSE '12: "CBCD: Cloned Buggy Code Detector ..." ICSE '12-NIER: "Improving IDE Recommendations ..."
Estefó, Pablo ICSE '12-SRC: "Restructuring Unit Tests with ..."
Esteve, Marie-Aude ICSE '12-SEIP: "Formal Correctness, Safety, ..."
Faghih, Fathiyeh ICSE '12-DOCTORAL: "Model Translations among Big-Step ..."
Faloutsos, Michalis ICSE '12: "Graph-Based Analysis and Prediction ..."
Famelis, Michalis ICSE '12: "Partial Models: Towards Modeling ..."
Fan, Jing ICSE '12: "Automatic Parameter Recommendation ..."
Fasano, Fausto ICSE '12-SEE: "Teaching Software Engineering ..."
Feng, Yang ICSE '12-NIER: "Multi-label Software Behavior ..."
Fernandes, João Paulo ICSE '12-POSTER: "A Bidirectional Model-Driven ..." ICSE '12-TOOL: "MDSheet: A Framework for Model-Driven ..."
Ferrari, Fabiano Cutigi ICSE '12: "Development of Auxiliary Functions: ..."
Figueiredo, Eduardo ICSE '12-POSTER: "ConcernReCS: Finding Code ..."
Finne, Niclas ICSE '12-NIER: "Towards Business Processes ..."
Fleurey, Franck ICSE '12-NIER: "Towards Flexible Evolution ..."
Fok, Chien-Liang ICSE '12-NIER: "Brace: An Assertion Framework ..."
Forbes, Christopher ICSE '12-POSTER: "When Open Source Turns Cold ..."
Forrest, Stephanie ICSE '12: "A Systematic Study of Automated ..." ICSE '12: "Using Dynamic Analysis to ..."
Foster, Jeffrey S. ICSE '12: "iTree: Efficiently Discovering ..."
Foster, Stephen R. ICSE '12: "WitchDoctor: IDE Support for ..."
France, Robert B. ICSE '12-POSTER: "Repository for Model Driven ..."
Fraser, Gordon ICSE '12: "Sound Empirical Evidence in ..." ICSE '12-TOOL: "EXSYST: Search-Based GUI Testing ..."
Fu, Chen ICSE '12: "Automatically Finding Performance ..."
Fuhrman, Christopher ICSE '12-SEE: "Integrating Tools and Frameworks ..."
Fukuda, Akira ICSE '12-POSTER: "Using the GPGPU for Scaling ..."
Gabel, Mark ICSE '12: "On the Naturalness of Software ..."
Gärtner, Stefan ICSE '12-POSTER: "ConTexter Feedback System ..."
Gagnon, Martin ICSE '12-POSTER: "Locating Features in Dynamically ..."
Gallegos, Jose L. ICSE '12: "Verifying Client-Side Input ..."
Gambi, Alessio ICSE '12-POSTER: "Modeling Cloud Performance ..."
Ganesh, Vijay ICSE '12: "Automatic Input Rectification ..."
Garcia, Alessandro ICSE '12: "Development of Auxiliary Functions: ..." ICSE '12-SEIP: "On the Proactive and Interactive ..."
Garretón, Gilda ICSE '12: "Combining Functional and Imperative ..."
Gay, Gregory ICSE '12: "Automated Oracle Creation ..."
Ge, Song ICSE '12: "Performance Debugging in the ..."
Ge, Xi ICSE '12: "Reconciling Manual and Automatic ..."
Gerbig, Ralph ICSE '12-NIER: "Symbiotic General-Purpose ..."
Germán, Daniel M. ICSE '12-SEE: "Five Days of Empirical Software ..."
Gethers, Malcom ICSE '12: "Integrated Impact Analysis ..." ICSE '12-NIER: "Toward Actionable, Broadly ..." ICSE '12-TOOL: "TraceLab: An Experimental ..."
Ghardallou, Wided ICSE '12-DOCTORAL: "Using Invariant Relations ..."
Ghezzi, Carlo ICSE '12: "Behavioral Validation of JFSL ..." ICSE '12-SEIP: "Specification Patterns from ..." ICSE '12-TOOL: "Runtime Monitoring of Component ..." ICSE '12-TOOL: "Writing Dynamic Service Orchestrations ..."
Glaser, Axel ICSE '12-SEIP: "Methodology for Migration ..."
Glesner, Sabine ICSE '12: "Slicing MATLAB Simulink Models ..."
Goeb, Andreas ICSE '12-SEIP: "The Quamoco Product Quality ..."
Goedicke, Michael ICSE '12-INVITED: "Refounding Software Engineering: ..."
Goldstein, Maayan ICSE '12-SEIP: "Making Sense of Healthcare ..."
Gomes, Paulo ICSE '12-POSTER: "SDiC: Context-Based Retrieval ..."
Gore, Ross ICSE '12: "Reducing Confounding Bias ..."
Gorla, Alessandra ICSE '12-POSTER: "A Self-Healing Technique for ..."
Gorman, Patrick ICSE '12-TOOL: "WorkItemExplorer: Visualizing ..."
Grammel, Lars ICSE '12-TOOL: "WorkItemExplorer: Visualizing ..."
Grechanik, Mark ICSE '12: "Automatically Finding Performance ..." ICSE '12: "Detecting Similar Software ..."
Greenwood, Phil ICSE '12-NIER: "UDesignIt: Towards Social ..."
Greiler, Michaela ICSE '12: "Test Confessions: A Study ..."
Griswold, William G. ICSE '12: "WitchDoctor: IDE Support for ..."
Gross, Florian ICSE '12-TOOL: "EXSYST: Search-Based GUI Testing ..."
Gross, Thomas R. ICSE '12: "Leveraging Test Generation ..." ICSE '12: "BALLERINA: Automatic Generation ..." ICSE '12: "Statically Checking API Protocol ..."
Gu, Zhongxian ICSE '12-SRC: "Capturing and Exploiting Fine-Grained ..."
Guéhéneuc, Yann-Gaël ICSE '12-SEE: "Five Days of Empirical Software ..."
Guimarães, Mário Luís ICSE '12: "Improving Early Detection ..."
Gung, James ICSE '12-NIER: "Exploring Techniques for Rationale ..."
Guo, Philip J. ICSE '12-SEIP: "Characterizing and Predicting ..."
Gupta, Arbind Kumar ICSE '12-SEE: "FOCUS: An Adaptation of a ..."
Guzzi, Anja ICSE '12-DOCTORAL: "Documenting and Sharing Knowledge ..." ICSE '12-TOOL: "Facilitating Communication ..."
Haiduc, Sonia ICSE '12-NIER: "Evaluating the Specificity ..."
Hammouda, Imed ICSE '12-SEE: "Teaching Collaborative Software ..."
Han, Shi ICSE '12: "Performance Debugging in the ..."
Hao, Dan ICSE '12: "On-Demand Test Suite Reduction ..."
Hao, Jianye ICSE '12-NIER: "Analyzing Multi-agent Systems ..."
Hariri, Negar ICSE '12: "Recommending Source Code for ..."
Harman, Mark ICSE '12-NIER: "Augmenting Test Suites Effectiveness ..."
Harton, Heather ICSE '12-TOOL: "Specification Engineering ..."
Hata, Hideaki ICSE '12: "Bug Prediction Based on Fine-Grained ..."
Hauptmann, Benedikt ICSE '12-SEIP: "How Much Does Unused Code ..."
Hearn, Derek ICSE '12-TOOL: "TraceLab: An Experimental ..."
Heimdahl, Mats P. E. ICSE '12: "Automated Oracle Creation ..."
Heinemann, Lars ICSE '12-SEIP: "The Quamoco Product Quality ..."
Henderson, Eric ICSE '12-NIER: "Engineering and Verifying ..."
Hendren, Laurie ICSE '12: "Automated Repair of HTML Generation ..."
Henß, Stefan ICSE '12: "Semi-automatically Extracting ..."
Hermans, Felienne ICSE '12: "Detecting and Visualizing ..."
Heymans, Patrick ICSE '12: "Simulation-Based Abstractions ..."
Hidaka, Soichiro ICSE '12: "Maintaining Invariant Traceability ..."
Hindle, Abram ICSE '12: "On the Naturalness of Software ..." ICSE '12-NIER: "Green Mining: Investigating ..."
Hisazumi, Kenji ICSE '12-POSTER: "Using the GPGPU for Scaling ..."
Holland, Nikki ICSE '12-SEE: "What Scope Is There for Adopting ..."
Holmes, Reid ICSE '12-NIER: "Improving IDE Recommendations ..."
Hosking, John G. ICSE '12: "Ambient Awareness of Build ..."
Hossein, Shervin ICSE '12-TOOL: "TraceLab: An Experimental ..."
Hu, Zhenjiang ICSE '12: "Maintaining Invariant Traceability ..."
Huang, Sheng ICSE '12-POSTER: "Mining Application Repository ..."
Huang, Shihong ICSE '12-INVITED: "Refounding Software Engineering: ..."
Hubaux, Arnaud ICSE '12: "Generating Range Fixes for ..."
Huffman Hayes, Jane ICSE '12-NIER: "Toward Actionable, Broadly ..." ICSE '12-TOOL: "TraceLab: An Experimental ..."
Ifrah, Sagi ICSE '12: "Crosscutting Revision Control ..."
Iliofotou, Marios ICSE '12: "Graph-Based Analysis and Prediction ..."
Imtiaz, Salma ICSE '12-DOCTORAL: "Architectural Task Allocation ..."
Inoue, Katsuro ICSE '12: "Where Does This Code Come ..."
Iwama, Futoshi ICSE '12-SEIP: "Constructing Parser for Industrial ..."
Jaafar, Fehmi ICSE '12-DOCTORAL: "On the Analysis of Evolution ..."
Jacobsen, Jens ICSE '12-SEIP: "Debugger Canvas: Industrial ..."
Jacobson, Ivar ICSE '12-INVITED: "Refounding Software Engineering: ..."
Janes, Andrea ICSE '12-POSTER: "Egidio: A Non-Invasive Approach ..."
Jang, Yoonkyu ICSE '12-SEIP: "Industrial Application of ..."
Jaspan, Ciera ICSE '12: "Statically Checking API Protocol ..."
Jefferson, Christopher ICSE '12: "An Automated Approach to Generating ..."
Jeffery, Ross ICSE '12-SEIP: "Large-Scale Formal Verification ..."
Jensen, Adam C. ICSE '12-POSTER: "Repository for Model Driven ..."
Jézéquel, Jean-Marc ICSE '12-NIER: "Towards Flexible Evolution ..."
Jiang, He ICSE '12: "Developer Prioritization in ..."
Jiang, Lingxiao ICSE '12: "Active Refinement of Clone ..."
Jin, Dongyun ICSE '12-TOOL: "JavaMOP: Efficient Parametric ..."
Jin, Wei ICSE '12: "BugRedux: Reproducing Field ..."
Johnson, Brittany ICSE '12-SRC: "A Study on Improving Static ..."
Johnson, Ralph E. ICSE '12: "Use, Disuse, and Misuse of ..."
Jones, James A. ICSE '12: "WhoseFault: Automatic Developer-to-Fault ..."
Joosen, Wouter ICSE '12: "Does Organizing Security Patterns ..."
Juan, Miguel A. ICSE '12-POSTER: "FastFix: Monitoring Control ..."
Jürgens, Elmar ICSE '12-SEIP: "How Much Does Unused Code ..."
Julien, Christine ICSE '12-NIER: "Brace: An Assertion Framework ..."
Junker, Maximilian ICSE '12-SEIP: "How Much Does Unused Code ..."
Kästner, Christian ICSE '12: "Predicting Performance via ..."
Kagdi, Huzefa ICSE '12: "Integrated Impact Analysis ..."
Kajko-Mattsson, Mira ICSE '12-INVITED: "Refounding Software Engineering: ..."
Kalumbilo, Monde ICSE '12-DOCTORAL: "Effective Specification of ..."
Kamei, Yasutaka ICSE '12-POSTER: "Using the GPGPU for Scaling ..."
Kapur, Deepak ICSE '12: "Using Dynamic Analysis to ..."
Karnouskos, Stamatis ICSE '12-NIER: "Towards Business Processes ..."
Karrer, Thorsten ICSE '12-POSTER: "Blaze ..."
Kato, Hiroyuki ICSE '12: "Maintaining Invariant Traceability ..."
Katoen, Joost-Pieter ICSE '12-SEIP: "Formal Correctness, Safety, ..."
Keenan, Ed ICSE '12-NIER: "Toward Actionable, Broadly ..." ICSE '12-TOOL: "TraceLab: An Experimental ..."
Keivanloo, Iman ICSE '12-POSTER: "When Open Source Turns Cold ..." ICSE '12-SRC: "Online Sharing and Integration ..."
Kennel, Bastian ICSE '12-NIER: "Symbiotic General-Purpose ..."
Khoo, Siau-Cheng ICSE '12: "Inferring Class Level Specifications ..."
Khoshnevis, Sedigheh ICSE '12-DOCTORAL: "An Approach to Variability ..."
Kikuno, Tohru ICSE '12: "Bug Prediction Based on Fine-Grained ..."
Kilamo, Terhi ICSE '12-SEE: "Teaching Collaborative Software ..."
Kim, Miryung ICSE '12-NIER: "Brace: An Assertion Framework ..."
Kim, Moonzoo ICSE '12-SEIP: "Industrial Application of ..."
Kim, YoungJoo ICSE '12-SEIP: "Industrial Application of ..."
Kim, Yunho ICSE '12-SEIP: "Industrial Application of ..."
Kläs, Michael ICSE '12-SEIP: "The Quamoco Product Quality ..."
Klein, Gerwin ICSE '12-SEIP: "Large-Scale Formal Verification ..."
Klein, Jacques ICSE '12-NIER: "Towards Flexible Evolution ..."
Klinge, Titus ICSE '12-NIER: "Engineering and Verifying ..."
Klinger, Tim ICSE '12-NIER: "Inferring Developer Expertise ..."
Kolanski, Rafal ICSE '12-SEIP: "Large-Scale Formal Verification ..."