Powered by
Conference Publishing Consulting

2011 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), November 6–10, 2011, Lawrence, KS, USA

ASE 2011 – 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 R S T U V W X Y Z

Abreu, Rui ASE'11-RESEARCH: "Prioritizing Tests for Fault ..."
Acher, Mathieu ASE'11-RESEARCH: "Slicing Feature Models ..." ASE'11-TOOL: "Decomposing Feature Models: ..."
Al-Kofahi, Jafar ASE'11-RESEARCH: "A Topic-based Approach for ..."
Alshahwan, Nadia ASE'11-RESEARCH: "Automated Web Application ..."
Alves, Elton ASE'11-RESEARCH: "Fault-Localization Using Dynamic ..."
Anand, Saswat ASE'11-RESEARCH: "Heap Cloning: Enabling Dynamic ..."
Apel, Sven ASE'11-RESEARCH: "Detection of Feature Interactions ..."
Arcaini, Paolo ASE'11-RESEARCH: "Optimizing the Automatic Test ..."
Arora, Nipun ASE'11-TOOL: "BEST: A Symbolic Testing Tool ..."
Artho, Cyrille ASE'11-RESEARCH: "Model Checking Distributed ..."
Asadi, Mohsen ASE'11-RESEARCH: "Automated Planning for Feature ..."
Athavale, Viraj ASE'11-RESEARCH: "PRECIS: Inferring Invariants ..."
Augustine, Vinay ASE'11-RESEARCH: "Scaling Up Automated Test ..."
Baars, Arthur ASE'11-RESEARCH: "Symbolic Search-Based Testing ..."
Babar, Muhammad Ali ASE'11-RESEARCH: "Supporting Activity Based ..."
Bacchelli, Alberto ASE'11-RESEARCH: "Extracting Structured Data ..."
Bagheri, Ebrahim ASE'11-RESEARCH: "Automated Planning for Feature ..."
Bai, Xu ASE'11-RESEARCH: "AutoODC: Automated Generation ..."
Balakrishnan, Gogul ASE'11-RESEARCH: "DC2: A Framework for Scalable, ..." ASE'11-TOOL: "BEST: A Symbolic Testing Tool ..."
Ball, Thomas ASE'11-RESEARCH: "Formalizing Hardware/Software ..."
Bandyopadhyay, Aritra ASE'11-DOCTORAL: "Improving Spectrum-Based Fault ..." ASE'11-RESEARCH: "Proximity Based Weighting ..."
Basu, Samik ASE'11-RESEARCH: "Automating Analysis of Qualitative ..."
Bencomo, Nelly ASE'11-RESEARCH: "Towards Requirements Aware ..."
Bendraou, Reda ASE'11-RESEARCH: "Deviation Management during ..."
Bergmann, Gábor ASE'11-TOOL: "Implementing Efficient Model ..."
Beyer, Dirk ASE'11-RESEARCH: "Detection of Feature Interactions ..."
Blanc, Xavier ASE'11-RESEARCH: "Deviation Management during ..."
Bokor, Péter ASE'11-RESEARCH: "Supporting Domain-Specific ..."
Botinčan, Matko ASE'11-RESEARCH: "Safe Asynchronous Multicore ..."
Brosig, Fabian ASE'11-RESEARCH: "Automated Extraction of Architecture-Level ..."
Brun, Yuriy ASE'11-RESEARCH: "Isomorphism in Model Tools ..."
Butcher, Andrew ASE'11-RESEARCH: "Local vs. Global Models for ..."
Cai, Sibo ASE'11-RESEARCH: "Finding the Merits and Drawbacks ..."
Cai, Yuanfang ASE'11-RESEARCH: "Enhancing Architectural Recovery ..." ASE'11-RESEARCH: "Generalizing Evolutionary ..."
Carlson, Jan ASE'11-RESEARCH: "Client-side Web Application ..."
Chakraborty, Soham Sundar ASE'11-RESEARCH: "Towards an Approach and Framework ..."
Chen, Ning ASE'11-RESEARCH: "Software Process Evaluation: ..."
Chen, Xiaofan ASE'11-RESEARCH: "Improving Automated Documentation ..."
Cheng, Betty H. C. ASE'11-RESEARCH: "Automatically Exploring How ..."
Clark, Sarah R. ASE'11-RESEARCH: "Localizing SQL Faults in Database ..."
Cleve, Anthony ASE'11-RESEARCH: "Extracting Structured Data ..."
Cobb, Jake ASE'11-RESEARCH: "Localizing SQL Faults in Database ..."
Cok, David ASE'11-RESEARCH: "Local vs. Global Models for ..."
Collet, Philippe ASE'11-RESEARCH: "Slicing Feature Models ..." ASE'11-TOOL: "Decomposing Feature Models: ..."
Crnković, Ivica ASE'11-RESEARCH: "Client-side Web Application ..."
Dagenais, Barthélémy ASE'11-RESEARCH: "Analyzing Temporal API Usage ..."
D'Amorim, Marcelo ASE'11-RESEARCH: "Fault-Localization Using Dynamic ..."
Dautovic, Andreas ASE'11-DOCTORAL: "Automatic Assessment of Software ..."
Day, Nancy A. ASE'11-RESEARCH: "Using Model Checking to Analyze ..."
Deng, Fang ASE'11-RESEARCH: "Inferred Dependence Coverage ..."
Devanbu, Premkumar ASE'11-RESEARCH: "Ecological Inference in Empirical ..."
Dingel, Juergen ASE'11-TOOL: "SAUML: A Tool for Symbolic ..."
Dit, Bogdan ASE'11-RESEARCH: "An Adaptive Approach to Impact ..."
Dodds, Mike ASE'11-RESEARCH: "Safe Asynchronous Multicore ..."
Donaldson, Alastair F. ASE'11-RESEARCH: "Safe Asynchronous Multicore ..."
Dong, Jin Song ASE'11-TOOL: "A Symbolic Model Checking ..."
Dwyer, Matthew B. ASE'11-KEYNOTES: "Unifying Testing and Analysis ..." ASE'11-RESEARCH: "Automatic Generation of Load ..."
Edwards, George ASE'11-RESEARCH: "Isomorphism in Model Tools ..."
Egyed, Alexander ASE'11-RESEARCH: "Observations on the Connectedness ..." ASE'11-RESEARCH: "Do Software Engineers Benefit ..."
Elbaum, Sebastian ASE'11-RESEARCH: "Automatic Generation of Load ..."
Ernst, Michael D. ASE'11-RESEARCH: "Automated Documentation Inference ..." ASE'11-RESEARCH: "Scaling Up Automated Test ..."
Esfahani, Naeem ASE'11-DOCTORAL: "A Framework for Managing Uncertainty ..."
Evans, David ASE'11-RESEARCH: "Capacity Planning for Event-based ..."
Fang, Lu ASE'11-TOOL: "APIExample: An Effective Web ..."
Filieri, Antonio ASE'11-RESEARCH: "Self-Adaptive Software Meets ..."
Filkov, Vladimir ASE'11-RESEARCH: "Ecological Inference in Empirical ..."
France, Robert B. ASE'11-RESEARCH: "Slicing Feature Models ..." ASE'11-TOOL: "Decomposing Feature Models: ..."
Fraser, Gordon ASE'11-RESEARCH: "Combining Search-based and ..."
Furia, Carlo A. ASE'11-RESEARCH: "Stateful Testing: Finding ..." ASE'11-RESEARCH: "Code-Based Automated Program ..."
Ganai, Malay K. ASE'11-RESEARCH: "Scalable and Precise Symbolic ..." ASE'11-TOOL: "BEST: A Symbolic Testing Tool ..."
Ganov, Svetoslav ASE'11-RESEARCH: "A Case for Alloy Annotations ..."
Garcia, Joshua ASE'11-RESEARCH: "Enhancing Architectural Recovery ..."
Gargantini, Angelo ASE'11-RESEARCH: "Optimizing the Automatic Test ..."
Gašević, Dragan ASE'11-RESEARCH: "Automated Planning for Feature ..."
Gemund, Arjan J. C. van ASE'11-RESEARCH: "Prioritizing Tests for Fault ..."
Geng, Ruili ASE'11-RESEARCH: "AutoODC: Automated Generation ..."
Gethers, Malcom ASE'11-RESEARCH: "An Adaptive Approach to Impact ..."
Ghabi, Achraf ASE'11-RESEARCH: "Observations on the Connectedness ..."
Ghezzi, Carlo ASE'11-RESEARCH: "Self-Adaptive Software Meets ..."
Ghosh, Sudipto ASE'11-RESEARCH: "Proximity Based Weighting ..."
Gligoric, Milos ASE'11-RESEARCH: "Fault-Localization Using Dynamic ..."
Goloshchapova, Olga ASE'11-TOOL: "jCT: A Java Code Tomograph ..."
Gonzalez-Sanchez, Alberto ASE'11-RESEARCH: "Prioritizing Tests for Fault ..."
Gore, Ross ASE'11-RESEARCH: "Statistical Debugging with ..."
Gottipati, Swapna ASE'11-RESEARCH: "Finding Relevant Answers in ..."
Groce, Alex ASE'11-RESEARCH: "Coverage Rewarded: Test Input ..."
Gross, Hans-Gerhard ASE'11-RESEARCH: "Prioritizing Tests for Fault ..."
Grov, Gudmund ASE'11-TOOL: "The CORE System: Animation ..."
Grundy, John ASE'11-RESEARCH: "Generating Essential User ..." ASE'11-RESEARCH: "Improving Automated Documentation ..."
Gupta, Aarti ASE'11-RESEARCH: "DC2: A Framework for Scalable, ..." ASE'11-TOOL: "BEST: A Symbolic Testing Tool ..."
Hagiya, Masami ASE'11-RESEARCH: "Model Checking Distributed ..."
Haiduc, Sonia ASE'11-DOCTORAL: "Automatically Detecting the ..."
Halfond, William G. J. ASE'11-RESEARCH: "Domain and Value Checking ..."
Hall, Robert J. ASE'11-TOOL: "The Capture Calculus Toolset ..."
Harman, Mark ASE'11-RESEARCH: "Symbolic Search-Based Testing ..." ASE'11-RESEARCH: "Automated Web Application ..."
Harrold, Mary Jean ASE'11-RESEARCH: "Heap Cloning: Enabling Dynamic ..." ASE'11-RESEARCH: "Localizing SQL Faults in Database ..."
Hassoun, Youssef ASE'11-RESEARCH: "Symbolic Search-Based Testing ..."
Hatala, Marek ASE'11-RESEARCH: "Automated Planning for Feature ..."
Hegedüs, Ábel ASE'11-RESEARCH: "A Model-driven Framework for ..." ASE'11-TOOL: "Implementing Efficient Model ..."
Hidaka, Soichiro ASE'11-RESEARCH: "GRoundTram: An Integrated ..."
Hill, Emily ASE'11-RESEARCH: "Improving Source Code Search ..."
Hoi, Steven C. H. ASE'11-RESEARCH: "Software Process Evaluation: ..."
Horton, Alexander ASE'11-RESEARCH: "Stateful Testing: Finding ..."
Horváth, Ákos ASE'11-RESEARCH: "A Model-driven Framework for ..." ASE'11-RESEARCH: "Towards Dynamic Backward Slicing ..." ASE'11-TOOL: "Implementing Efficient Model ..."
Hu, Zhenjiang ASE'11-RESEARCH: "GRoundTram: An Integrated ..."
Huang, LiGuo ASE'11-RESEARCH: "AutoODC: Automated Generation ..."
Huber, Nikolaus ASE'11-RESEARCH: "Automated Extraction of Architecture-Level ..."
Imoto, Takashi ASE'11-RESEARCH: "DC2: A Framework for Scalable, ..."
Inaba, Kazuhiro ASE'11-RESEARCH: "GRoundTram: An Integrated ..."
Insa, David ASE'11-RESEARCH: "An Optimal Strategy for Algorithmic ..."
Ireland, Andrew ASE'11-TOOL: "The CORE System: Animation ..."
Ivančić, Franjo ASE'11-RESEARCH: "DC2: A Framework for Scalable, ..."
Jagannath, Vilas ASE'11-RESEARCH: "Fault-Localization Using Dynamic ..."
Jarzabek, Stan ASE'11-TOOL: "CloneDifferentiator: Analyzing ..."
Jensen, Adam C. ASE'11-RESEARCH: "Automatically Exploring How ..."
Jiang, Jing ASE'11-RESEARCH: "Towards More Accurate Retrieval ..." ASE'11-RESEARCH: "Finding Relevant Answers in ..."
Jiang, Lingxiao ASE'11-RESEARCH: "Search-Based Fault Localization ..."
Johnson, Jeremy ASE'11-RESEARCH: "Using Model-based Assurance ..."
Johnson, Ralph E. ASE'11-RESEARCH: "Differential Precondition ..."
Jones, James A. ASE'11-RESEARCH: "Localizing SQL Faults in Database ..." ASE'11-RESEARCH: "History Slicing ..." ASE'11-RESEARCH: "Inferred Dependence Coverage ..."
Just, René ASE'11-TOOL: "MAJOR: An Efficient and Extensible ..."
Kagdi, Huzefa ASE'11-RESEARCH: "An Adaptive Approach to Impact ..."
Kamalrudin, Massila ASE'11-RESEARCH: "Generating Essential User ..."
Kamensky, David ASE'11-RESEARCH: "Statistical Debugging with ..."
Kapfhammer, Gregory M. ASE'11-RESEARCH: "Localizing SQL Faults in Database ..." ASE'11-TOOL: "MAJOR: An Efficient and Extensible ..."
Kato, Hiroyuki ASE'11-RESEARCH: "GRoundTram: An Integrated ..."
Katz, Randy ASE'11-RESEARCH: "Precomputing Possible Configuration ..."
Kehrer, Timo ASE'11-RESEARCH: "A Rule-Based Approach to the ..."
Kellens, Andy ASE'11-RESEARCH: "Mendel: Source Code Recommendation ..."
Kelter, Udo ASE'11-RESEARCH: "A Rule-Based Approach to the ..." ASE'11-TOOL: "Generating Realistic Test ..."
Khalek, Shadi Abdul ASE'11-RESEARCH: "Mixed Constraints for Test ..." ASE'11-TOOL: "TestEra: A Tool for Testing ..."
Khoo, Siau-Cheng ASE'11-RESEARCH: "Towards More Accurate Retrieval ..."
Khurshid, Sarfraz ASE'11-RESEARCH: "A Case for Alloy Annotations ..." ASE'11-RESEARCH: "Mixed Constraints for Test ..." ASE'11-TOOL: "TestEra: A Tool for Testing ..."
Kimmig, Markus ASE'11-RESEARCH: "Querying Source Code with ..."
Kinder, Johannes ASE'11-RESEARCH: "Supporting Domain-Specific ..."
King, Irwin ASE'11-RESEARCH: "Mining Test Oracles of Web ..."
Knoester, David B. ASE'11-RESEARCH: "Automatically Exploring How ..."
Kounev, Samuel ASE'11-RESEARCH: "Automated Extraction of Architecture-Level ..." ASE'11-RESEARCH: "Capacity Planning for Event-based ..."
Kowshik, Sumant ASE'11-RESEARCH: "PRECIS: Inferring Invariants ..."
Krueger, Ingolf ASE'11-RESEARCH: "Tracing Requirements to Tests ..."
Lahire, Philippe ASE'11-RESEARCH: "Slicing Feature Models ..." ASE'11-TOOL: "Decomposing Feature Models: ..."
Lakhotia, Kiran ASE'11-RESEARCH: "Symbolic Search-Based Testing ..."
Lanza, Michele ASE'11-RESEARCH: "Extracting Structured Data ..."
Lau, Hoong Chuin ASE'11-RESEARCH: "Search-Based Fault Localization ..."
Lauenroth, Kim ASE'11-RESEARCH: "A Performance Comparison of ..."
Leungwattanakit, Watcharin ASE'11-RESEARCH: "Model Checking Distributed ..."
Leva, Alberto ASE'11-RESEARCH: "Self-Adaptive Software Meets ..."
Levin, Vladimir ASE'11-RESEARCH: "Formalizing Hardware/Software ..."
Lhoták, Ondřej ASE'11-RESEARCH: "Identifying Future Field Accesses ..."
Li, Bixin ASE'11-DOCTORAL: "Using Formal Concept Analysis ..."
Li, Ge ASE'11-TOOL: "APIExample: An Effective Web ..."
Li, Juncao ASE'11-RESEARCH: "Formalizing Hardware/Software ..."
Li, Nuo ASE'11-RESEARCH: "Scaling Up Automated Test ..."
Li, Wenbin ASE'11-DOCTORAL: "Toward Consistency Checking ..."
Li, Xuandong ASE'11-RESEARCH: "Run-time Systems Failure Prediction ..."
Liang, Guangtai ASE'11-RESEARCH: "Iterative Mining of Resource-Releasing ..."
Liu, Changsheng ASE'11-RESEARCH: "Finding the Merits and Drawbacks ..."
Liu, Yang ASE'11-TOOL: "A Symbolic Model Checking ..."
Lo, David ASE'11-RESEARCH: "Towards More Accurate Retrieval ..." ASE'11-RESEARCH: "Finding Relevant Answers in ..." ASE'11-RESEARCH: "Search-Based Fault Localization ..."
Lozano, Angela ASE'11-RESEARCH: "Mendel: Source Code Recommendation ..."
Lucia ASE'11-RESEARCH: "Search-Based Fault Localization ..."
Lumpe, Markus ASE'11-TOOL: "jCT: A Java Code Tomograph ..."
Lutz, Robyn ASE'11-RESEARCH: "Using Model-based Assurance ..."
Lynch, Kevin ASE'11-RESEARCH: "Diagnosis of Software Failures ..."
Lyu, Michael R. ASE'11-RESEARCH: "Mining Test Oracles of Web ..."
Ma, Hao ASE'11-RESEARCH: "Mining Test Oracles of Web ..."
Maclean, Ewen ASE'11-TOOL: "The CORE System: Animation ..."
Madria, Sanjay K. ASE'11-RESEARCH: "Exploring Caching for Efficient ..."
Maeda, Naoto ASE'11-RESEARCH: "DC2: A Framework for Scalable, ..."
Mäder, Patrick ASE'11-RESEARCH: "Flexible Design Pattern Detection ..." ASE'11-RESEARCH: "Do Software Engineers Benefit ..."
Maggio, Martina ASE'11-RESEARCH: "Self-Adaptive Software Meets ..."
Mahmud, Samiran ASE'11-TOOL: "jCT: A Java Code Tomograph ..."
Malburg, Jan ASE'11-RESEARCH: "Combining Search-based and ..."
Mancoridis, Spiros ASE'11-RESEARCH: "Diagnosis of Software Failures ..."
Maras, Josip ASE'11-RESEARCH: "Client-side Web Application ..."
Marcus, Andrian ASE'11-RESEARCH: "Local vs. Global Models for ..."
Marinov, Darko ASE'11-TOOL: "TestEra: A Tool for Testing ..."
Mattmann, Chris ASE'11-RESEARCH: "Enhancing Architectural Recovery ..."
McGarvey, Con ASE'11-RESEARCH: "Formalizing Hardware/Software ..."
McMinn, Phil ASE'11-RESEARCH: "Symbolic Search-Based Testing ..."
Medvidovic, Nenad ASE'11-RESEARCH: "Enhancing Architectural Recovery ..." ASE'11-RESEARCH: "Isomorphism in Model Tools ..."
Mehlitz, Peter ASE'11-TOOL: "JPF-AWT: Model Checking GUI ..."
Mei, Hong ASE'11-RESEARCH: "Finding the Merits and Drawbacks ..." ASE'11-RESEARCH: "Iterative Mining of Resource-Releasing ..."
Mens, Kim ASE'11-RESEARCH: "Mendel: Source Code Recommendation ..."
Menzies, Tim ASE'11-RESEARCH: "Local vs. Global Models for ..."
Mercer, Eric G. ASE'11-TOOL: "Guided Test Visualization: ..."
Meyer, Bertrand ASE'11-RESEARCH: "Stateful Testing: Finding ..." ASE'11-RESEARCH: "Code-Based Automated Program ..."
Mezini, Mira ASE'11-RESEARCH: "Querying Source Code with ..."
Miyazaki, Yoshiaki ASE'11-RESEARCH: "DC2: A Framework for Scalable, ..."
Mocci, Andrea ASE'11-RESEARCH: "Extracting Structured Data ..."
Monperrus, Martin ASE'11-RESEARCH: "Querying Source Code with ..."
Muccini, Henry ASE'11-RESEARCH: "Run-time Systems Failure Prediction ..."
Nakano, Keisuke ASE'11-RESEARCH: "GRoundTram: An Integrated ..."
Narayanan, Vidya Priyadarshini ASE'11-RESEARCH: "Mixed Constraints for Test ..."
Nerella, Venkata Krishna Suhas ASE'11-RESEARCH: "Exploring Caching for Efficient ..."
Ng, Vincent ASE'11-RESEARCH: "AutoODC: Automated Generation ..."
Nguyen, Anh Tuan ASE'11-RESEARCH: "A Topic-based Approach for ..."
Nguyen, Hoan Anh ASE'11-RESEARCH: "Auto-Locating and Fix-Propagating ..." ASE'11-TOOL: "iDiff: Interaction-based Program ..."
Nguyen, Hung Viet ASE'11-RESEARCH: "A Topic-based Approach for ..." ASE'11-RESEARCH: "Auto-Locating and Fix-Propagating ..." ASE'11-TOOL: "iDiff: Interaction-based Program ..."
Nguyen, Tien N. ASE'11-RESEARCH: "A Topic-based Approach for ..." ASE'11-RESEARCH: "Auto-Locating and Fix-Propagating ..." ASE'11-TOOL: "iDiff: Interaction-based Program ..."
Nguyen, Truong Khanh ASE'11-TOOL: "A Symbolic Model Checking ..."
Nguyen, Tung Thanh ASE'11-RESEARCH: "A Topic-based Approach for ..." ASE'11-RESEARCH: "Auto-Locating and Fix-Propagating ..." ASE'11-TOOL: "iDiff: Interaction-based Program ..."
Niu, Jianwei ASE'11-RESEARCH: "GitBAC: Flexible Access Control ..."
Nordio, Martin ASE'11-RESEARCH: "Stateful Testing: Finding ..." ASE'11-RESEARCH: "Code-Based Automated Program ..."
Nuseibeh, Bashar ASE'11-RESEARCH: "Specifying and Detecting Meaningful ..."
Oster, Zachary J. ASE'11-RESEARCH: "Automating Analysis of Qualitative ..."
Overbey, Jeffrey L. ASE'11-RESEARCH: "Differential Precondition ..."
Pan, Kai ASE'11-RESEARCH: "Generating Program Inputs ..."
Parízek, Pavel ASE'11-RESEARCH: "Identifying Future Field Accesses ..."
Parkinson, Matthew J. ASE'11-RESEARCH: "Safe Asynchronous Multicore ..."
Patterson-Hine, Ann ASE'11-RESEARCH: "Using Model-based Assurance ..."
Pei, Yu ASE'11-RESEARCH: "Stateful Testing: Finding ..." ASE'11-RESEARCH: "Code-Based Automated Program ..."
Perkins, Jeff H. ASE'11-RESEARCH: "Scaling Up Automated Test ..."
Perry, Dewayne E. ASE'11-RESEARCH: "A Case for Alloy Annotations ..."
Persing, Isaac ASE'11-RESEARCH: "AutoODC: Automated Generation ..."
Pietsch, Pit ASE'11-TOOL: "Generating Realistic Test ..."
Pohl, Klaus ASE'11-RESEARCH: "A Performance Comparison of ..."
Pohl, Richard ASE'11-RESEARCH: "A Performance Comparison of ..."
Polini, Andrea ASE'11-RESEARCH: "Run-time Systems Failure Prediction ..."
Pollock, Lori ASE'11-RESEARCH: "Improving Source Code Search ..."
Popescu, Daniel ASE'11-RESEARCH: "Enhancing Architectural Recovery ..."
Poshyvanyk, Denys ASE'11-RESEARCH: "An Adaptive Approach to Impact ..."
Posnett, Daryl ASE'11-RESEARCH: "Ecological Inference in Empirical ..."
Rabkin, Ariel ASE'11-RESEARCH: "Precomputing Possible Configuration ..."
Ramirez, Andres J. ASE'11-RESEARCH: "Automatically Exploring How ..."
Ranganathan, Anand ASE'11-RESEARCH: "Evaluating Test Selection ..."
Rasool, Ghulam ASE'11-RESEARCH: "Flexible Design Pattern Detection ..."
Ráth, István ASE'11-RESEARCH: "A Model-driven Framework for ..." ASE'11-TOOL: "Implementing Efficient Model ..."
Rathfelder, Christoph ASE'11-RESEARCH: "Capacity Planning for Event-based ..."
Reynolds, Jr., Paul F. ASE'11-RESEARCH: "Statistical Debugging with ..."
Rhein, Alexander von ASE'11-RESEARCH: "Detection of Feature Interactions ..."
Riccobene, Elvinia ASE'11-RESEARCH: "Optimizing the Automatic Test ..."
Robillard, Martin P. ASE'11-RESEARCH: "Analyzing Temporal API Usage ..."
Robinson, Brian ASE'11-RESEARCH: "Scaling Up Automated Test ..."
Robinson, Mark ASE'11-RESEARCH: "GitBAC: Flexible Access Control ..."
Rorres, Chris ASE'11-RESEARCH: "Diagnosis of Software Failures ..."
Roth, Hannes ASE'11-RESEARCH: "Stateful Testing: Finding ..."
Rungta, Neha ASE'11-TOOL: "Guided Test Visualization: ..."
Sagdeo, Parth ASE'11-RESEARCH: "PRECIS: Inferring Invariants ..."
Sankaranarayanan, Sriram ASE'11-RESEARCH: "DC2: A Framework for Scalable, ..."
Santhanam, Ganesh Ram ASE'11-RESEARCH: "Automating Analysis of Qualitative ..."
Sawyer, Pete ASE'11-RESEARCH: "Towards Requirements Aware ..."
Schweiggert, Franz ASE'11-TOOL: "MAJOR: An Efficient and Extensible ..."
Serafini, Marco ASE'11-RESEARCH: "Supporting Domain-Specific ..."
Servant, Francisco ASE'11-RESEARCH: "History Slicing ..."
Shah, Vipul ASE'11-RESEARCH: "Towards an Approach and Framework ..."
Shevertalov, Maxim ASE'11-RESEARCH: "Diagnosis of Software Failures ..."
Shonle, Macneil ASE'11-RESEARCH: "GitBAC: Flexible Access Control ..."
Silva, Josep ASE'11-RESEARCH: "An Optimal Strategy for Algorithmic ..."
Silva, Marcos Aurélio Almeida da ASE'11-RESEARCH: "Deviation Management during ..."
Soltani, Samaneh ASE'11-RESEARCH: "Automated Planning for Feature ..."
Speidel, Hendrik ASE'11-RESEARCH: "Detection of Feature Interactions ..."
Stehle, Edward ASE'11-RESEARCH: "Diagnosis of Software Failures ..."
Steindorfer, Michael ASE'11-RESEARCH: "Stateful Testing: Finding ..."
Sun, Chengnian ASE'11-RESEARCH: "Towards More Accurate Retrieval ..."
Sun, Jun ASE'11-TOOL: "A Symbolic Model Checking ..."
Sun, Xiaobing ASE'11-DOCTORAL: "Using Formal Concept Analysis ..."
Surapaneni, Swetha ASE'11-RESEARCH: "Exploring Caching for Efficient ..."
Suri, Neeraj ASE'11-RESEARCH: "Supporting Domain-Specific ..."
Taentzer, Gabriele ASE'11-RESEARCH: "A Rule-Based Approach to the ..."
Tanabe, Yoshinori ASE'11-RESEARCH: "Model Checking Distributed ..."
Taylor, Richard N. ASE'11-RESEARCH: "Taming Changes With 1.x-Way ..."
Tell, Paolo ASE'11-RESEARCH: "Supporting Activity Based ..."
Tian, Jeff ASE'11-RESEARCH: "AutoODC: Automated Generation ..."
Tkachuk, Oksana ASE'11-TOOL: "JPF-AWT: Model Checking GUI ..."
Tokuoka, Hiroki ASE'11-RESEARCH: "DC2: A Framework for Scalable, ..."
Tonella, Paolo ASE'11-RESEARCH: "Symbolic Search-Based Testing ..."
Tun, Thein Than ASE'11-RESEARCH: "Specifying and Detecting Meaningful ..."
Uddin, Gias ASE'11-RESEARCH: "Analyzing Temporal API Usage ..."
Ujhelyi, Zoltán ASE'11-RESEARCH: "Towards Dynamic Backward Slicing ..." ASE'11-TOOL: "Implementing Efficient Model ..."
Ujma, Mateusz ASE'11-TOOL: "JPF-AWT: Model Checking GUI ..."
Vakili, Amirhossein ASE'11-DOCTORAL: "Analyzing Temporal Properties ..."