Powered by
Conference Publishing Consulting

2013 28th IEEE/ACM International Conference on Automated Software Engineering (ASE), November 11-15, 2013, Palo Alto, USA

ASE 2013 – Author Index

Contents - Abstracts - Authors

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

Abi-Antoun, Marwan ASE'13: "Finding Architectural Flaws ..."
Abreu, Rui ASE'13: "Entropy-Based Test Generation ..."
Acher, Mathieu ASE'13-NEWIDEAS: "From Comparison Matrix to ..."
Adedjouma, Morayo ASE'13-EXPERIENCE: "Minimizing CPU Time Shortage ..."
Aguirre, Nazareno ASE'13: "Ranger: Parallel Analysis ..."
Alshahwan, Nadia ASE'13-EXPERIENCE: "Model Based Test Validation ..."
Ammar, Hany ASE'13: "Scalable Product Line Configuration: ..."
Anish, Preethu Rose ASE'13-NEWIDEAS: "Detecting System Use Cases ..."
Apel, Sven ASE'13-EXPERIENCE: "The Potential of Polyhedral ..." ASE'13: "Variability-Aware Performance ..."
Arora, Nipun ASE'13-TOOLS: "iProbe: A Lightweight User-Level ..."
Artho, Cyrille ASE'13: "Software Model Checking for ..."
Avazpour, Iman ASE'13-TOOLS: "Tool Support for Automatic ..."
Barnes, Jeffrey M. ASE'13: "Automated Planning for Software ..."
Barringer, Howard ASE'13-NEWIDEAS: "A Pattern-Based Approach to ..."
Baudry, Benoit ASE'13-NEWIDEAS: "From Comparison Matrix to ..."
Bavota, Gabriele ASE'13: "Detecting Bad Smells in Source ..."
Begey, Julien ASE'13-EXPERIENCE: "Minimizing CPU Time Shortage ..."
Bergmann, Gábor ASE'13: "Towards Precise Metrics for ..."
Bishop, Judith ASE'13-TOOLS: "Pex4Fun: A Web-Based Environment ..."
Briand, Lionel C. ASE'13-EXPERIENCE: "Minimizing CPU Time Shortage ..." ASE'13-EXPERIENCE: "Model Based Test Validation ..." ASE'13: "A Scalable Approach for Malware ..."
Calinescu, Radu ASE'13-TOOLS: "Developing Self-Verifying ..."
Campos, José ASE'13: "Entropy-Based Test Generation ..."
Cao, Chun ASE'13-NEWIDEAS: "Environment Rematching: Toward ..."
Chaim, Marcos Lordello ASE'13-NEWIDEAS: "Adding Context to Fault Localization ..."
Chandramohan, Mahinthan ASE'13: "A Scalable Approach for Malware ..."
Chattopadhyay, Arijit ASE'13: "Round-Up: Runtime Checking ..."
Chen, Nicholas ASE'13: "JFlow: Practical Refactorings ..."
Chhetri, Mohan Baruwal ASE'13-TOOLS: "Smart Cloud Broker: Finding ..."
Chichin, Sergei ASE'13-TOOLS: "Smart Cloud Broker: Finding ..."
Chioasca, Erol-Valeriu ASE'13-TOOLS: "TRAM: A Tool for Transforming ..."
Cho, Chia Yuan ASE'13: "Blitz: Compositional Bounded ..."
Cimatti, Alessandro ASE'13-TOOLS: "OCRA: A Tool for Checking ..."
Cleland-Huang, Jane ASE'13-NEWIDEAS: "Learning Effective Query Transformations ..."
Clement, Yves ASE'13-EXPERIENCE: "Minimizing CPU Time Shortage ..."
Cotroneo, Domenico ASE'13: "SABRINE: State-Based Robustness ..."
Csallner, Christoph ASE'13: "SEDGE: Symbolic Example Data ..."
Cunha, Alcino ASE'13-TOOLS: "Model Repair and Transformation ..."
Czarnecki, Krzysztof ASE'13: "Variability-Aware Performance ..."
D'Amorim, Marcelo ASE'13: "Entropy-Based Test Generation ..."
Davoodi, Mohammed ASE'13-NEWIDEAS: "Cloud Twin: Native Execution ..."
De Halleux, Jonathan ASE'13-TOOLS: "Pex4Fun: A Web-Based Environment ..."
De Lucia, Andrea ASE'13: "Detecting Bad Smells in Source ..."
Demasi, Ramiro ASE'13-DOCTORAL: "Synthesizing Fault-Tolerant ..."
De Souza, Higor Amario ASE'13-NEWIDEAS: "Adding Context to Fault Localization ..."
Dhungana, Deepak ASE'13-EXPERIENCE: "Automated Verification of ..."
Diao, Yanlei ASE'13: "SEDGE: Symbolic Example Data ..."
Dietrich, Timothy ASE'13-NEWIDEAS: "Learning Effective Query Transformations ..."
Di Leo, Domenico ASE'13: "SABRINE: State-Based Robustness ..."
Di Nardo, Daniel ASE'13-EXPERIENCE: "Model Based Test Validation ..."
Ding, Rui ASE'13-EXPERIENCE: "Software Analytics for Incident ..."
Di Penta, Massimiliano ASE'13: "Detecting Bad Smells in Source ..."
Do, Hyunsook ASE'13-TOOLS: "Crushinator: A Framework towards ..."
Dong, Jin Song ASE'13: "Constraint-Based Automatic ..." ASE'13: "Automatically Partition Software ..."
Dorigatti, Michele ASE'13-TOOLS: "OCRA: A Tool for Checking ..."
D’Silva, Vijay ASE'13: "Blitz: Compositional Bounded ..."
Dustdar, Schahram ASE'13-TOOLS: "Automated Testing of Cloud-Based ..."
Ewalt, Nicholas ASE'13-NEWIDEAS: "Using Automatically Generated ..."
Fahland, Dirk ASE'13: "Mining Branching-Time Scenarios ..."
Falke, Stephan ASE'13-TOOLS: "The Bounded Model Checker ..."
Fard, Fatemeh Hendijani ASE'13-DOCTORAL: "Detecting and Fixing Emergent ..."
Fischer, Bernd ASE'13-TOOLS: "CSeq: A Concurrency Pre-processor ..."
Forrest, Stephanie ASE'13: "Leveraging Program Equivalence ..."
Fourneret, Elizabeta ASE'13-EXPERIENCE: "Model Based Test Validation ..."
Frank, Jeremy ASE'13-INVITED: "The Challenges of Verification ..."
Fraser, Gordon ASE'13: "Entropy-Based Test Generation ..."
Frias, Marcelo F. ASE'13: "Ranger: Parallel Analysis ..."
Fry, Zachary P. ASE'13: "Leveraging Program Equivalence ..."
Fu, Qiang ASE'13-EXPERIENCE: "Software Analytics for Incident ..."
Fucci, Francesco ASE'13: "SABRINE: State-Based Robustness ..."
Gambi, Alessio ASE'13-TOOLS: "Automated Testing of Cloud-Based ..."
Ganai, Malay K. ASE'13: "Efficient Data Race Prediction ..."
Garcia, Joshua ASE'13-EXPERIENCE: "A Comparative Analysis of ..."
García-Galán, Jesús ASE'13-NEWIDEAS: "Multi-user Variability Configuration: ..."
Garlan, David ASE'13: "Automated Planning for Software ..."
Gethers, Malcom ASE'13-NEWIDEAS: "ExPort: Detecting and Visualizing ..."
Ghaisas, Smita ASE'13-NEWIDEAS: "Detecting System Use Cases ..."
Gligoric, Milos ASE'13: "Operator-Based and Random ..."
Glinz, Martin ASE'13-NEWIDEAS: "Semi-automatic Generation ..."
Gravino, Carmine ASE'13-NEWIDEAS: "Class Level Fault Prediction ..."
Grechanik, Mark ASE'13-NEWIDEAS: "ExPort: Detecting and Visualizing ..."
Größlinger, Armin ASE'13-EXPERIENCE: "The Potential of Polyhedral ..."
Grundy, John ASE'13-TOOLS: "Tool Support for Automatic ..."
Grunske, Lars ASE'13-TOOLS: "Tool Support for Automatic ..."
Guimarães, Tiago ASE'13-TOOLS: "Model Repair and Transformation ..."
Guo, Chaorong ASE'13: "Characterizing and Detecting ..."
Guo, Jianmei ASE'13: "Variability-Aware Performance ..."
Hagiya, Masami ASE'13: "Software Model Checking for ..."
Halfond, William G. J. ASE'13-NEWIDEAS: "Randomizing Regression Tests ..."
Harrison, Rachel ASE'13-NEWIDEAS: "Assessing the Maturity of ..."
Hellebaut, Jonathan ASE'13-EXPERIENCE: "Minimizing CPU Time Shortage ..."
Hellerstein, Joseph M. ASE'13-INVITED: "BOOM: Experiences in Language ..."
Hirzel, Martin ASE'13: "Testing Properties of Dataflow ..."
Holavanalli, Shashank ASE'13-NEWIDEAS: "Flow Permissions for Android ..."
Holder, Ethan ASE'13-NEWIDEAS: "Cloud Twin: Native Execution ..."
Honiden, Shinichi ASE'13: "Automated Verification of ..."
Horváth, Ákos ASE'13: "Towards Precise Metrics for ..."
Huang, Yu ASE'13: "Proving MCAPI Executions Are ..."
Huchard, Marianne ASE'13-NEWIDEAS: "Recovering Model Transformation ..."
Hummer, Waldemar ASE'13-TOOLS: "Automated Testing of Cloud-Based ..."
Ingram, Joseph ASE'13: "Scalable Product Line Configuration: ..."
Inverso, Omar ASE'13-TOOLS: "CSeq: A Concurrency Pre-processor ..."
Ivkovic, Igor ASE'13-EXPERIENCE: "A Comparative Analysis of ..."
Izsó, Benedek ASE'13: "Towards Precise Metrics for ..."
Jang, Yoonkyu ASE'13-EXPERIENCE: "Automated Unit Testing of ..."
Jiang, Guofei ASE'13-TOOLS: "iProbe: A Lightweight User-Level ..."
Jiang, Shihai ASE'13-EXPERIENCE: "Towards Contextual and On-Demand ..."
Jiang, Tian ASE'13: "Personalized Defect Prediction ..."
Jin, Wei ASE'13-NEWIDEAS: "SBFR: A Search Based Approach ..."
Johnson, Kenneth ASE'13-TOOLS: "Developing Self-Verifying ..."
Johnson, Ralph E. ASE'13: "Bita: Coverage-Guided, Automatic ..." ASE'13: "JFlow: Practical Refactorings ..."
Jones, James A. ASE'13: "Improving Efficiency of Dynamic ..."
Kaulgud, Vikrant ASE'13-NEWIDEAS: "Natural Language Requirements ..."
Kehrer, Timo ASE'13: "Consistency-Preserving Edit ..."
Kelter, Udo ASE'13: "Consistency-Preserving Edit ..."
Khurshid, Sarfraz ASE'13: "Improving Bug Localization ..." ASE'13: "Operator-Based and Random ..." ASE'13: "Ranger: Parallel Analysis ..."
Kifetew, Fitsum Meshesha ASE'13-NEWIDEAS: "SBFR: A Search Based Approach ..."
Kim, Miryung ASE'13: "Detecting and Characterizing ..."
Kim, Moonzoo ASE'13-EXPERIENCE: "Automated Unit Testing of ..."
Kim, Sunghun ASE'13: "Personalized Defect Prediction ..."
Kim, Taeksu ASE'13-EXPERIENCE: "Automated Unit Testing of ..."
Kim, Youil ASE'13-EXPERIENCE: "Automated Unit Testing of ..."
Kim, Yunho ASE'13-EXPERIENCE: "Automated Unit Testing of ..."
K.M., Annervaz ASE'13-NEWIDEAS: "Natural Language Requirements ..."
Ko, Steven Y. ASE'13-NEWIDEAS: "Flow Permissions for Android ..."
Kowalczyk, Ryszard ASE'13-TOOLS: "Smart Cloud Broker: Finding ..."
Kukreja, Nupul ASE'13-NEWIDEAS: "Randomizing Regression Tests ..."
Kusano, Markus ASE'13-TOOLS: "CCmutator: A Mutation Generator ..."
Kwon, Yonghwi ASE'13: "PIEtrace: Platform Independent ..."
Lawall, Julia ASE'13: "Automatic Recommendation of ..."
Lease, Matthew ASE'13: "Improving Bug Localization ..."
Lee, Gunwoo ASE'13-EXPERIENCE: "Automated Unit Testing of ..."
Lengauer, Christian ASE'13-EXPERIENCE: "The Potential of Polyhedral ..."
Letsholo, Keletso J. ASE'13-TOOLS: "TRAM: A Tool for Transforming ..."
Li, Kaituo ASE'13: "SEDGE: Symbolic Example Data ..."
Li, Sihan ASE'13: "Characteristic Studies of ..."
Liblit, Ben ASE'13: "Lightweight Control-Flow Instrumentation ..."
Lin, Jun ASE'13-DOCTORAL: "Context-Aware Task Allocation ..."
Lin, Qingwei ASE'13-EXPERIENCE: "Software Analytics for Incident ..."
Lin, Shang-Wei ASE'13: "TzuYu: Learning Stateful Typestates ..."
Lin, Yu ASE'13: "Bita: Coverage-Guided, Automatic ..."
Linares-Vásquez, Mario ASE'13-NEWIDEAS: "ExPort: Detecting and Visualizing ..."
Liu, Yang ASE'13: "TzuYu: Learning Stateful Typestates ..." ASE'13: "Constraint-Based Automatic ..." ASE'13: "Automatically Partition Software ..."
Lo, David ASE'13: "Automatic Recommendation of ..." ASE'13: "Mining Branching-Time Scenarios ..."
Löwe, Welf ASE'13: "Dynamically Transforming Data ..."
Lou, Jian-Guang ASE'13-EXPERIENCE: "Software Analytics for Incident ..."
Lü, Jian ASE'13-NEWIDEAS: "Environment Rematching: Toward ..."
Ma, Junwei ASE'13: "Constraint-Based Automatic ..."
Ma, Xiaoxing ASE'13-NEWIDEAS: "Environment Rematching: Toward ..."
Macedo, Nuno ASE'13-TOOLS: "Model Repair and Transformation ..."
Maezawa, Yuta ASE'13: "Automated Verification of ..."
Manuel, Don ASE'13-NEWIDEAS: "Flow Permissions for Android ..."
Maoz, Shahar ASE'13: "Mining Branching-Time Scenarios ..."
Marcus, Andrian ASE'13-NEWIDEAS: "Class Level Fault Prediction ..."
Marinov, Darko ASE'13: "Operator-Based and Random ..."
Masquelier, Vincent ASE'13-EXPERIENCE: "Model Based Test Validation ..."
McCarthy, Jay ASE'13: "Proving MCAPI Executions Are ..."
McMillan, Collin ASE'13-NEWIDEAS: "ExPort: Detecting and Visualizing ..."
Medvidovic, Nenad ASE'13-EXPERIENCE: "A Comparative Analysis of ..."
Menzies, Tim ASE'13: "Scalable Product Line Configuration: ..." ASE'13-NEWIDEAS: "Class Level Fault Prediction ..."
Mercer, Eric ASE'13: "Proving MCAPI Executions Are ..."
Meredith, Patrick ASE'13: "Efficient Parametric Runtime ..."
Merz, Florian ASE'13-TOOLS: "The Bounded Model Checker ..."
Mesbah, Ali ASE'13-NEWIDEAS: "Pythia: Generating Test Cases ..."
Mirakhorli, Mehdi ASE'13-DOCTORAL: "Preventing Erosion of Architectural ..."
Mirshokraie, Shabnam ASE'13-NEWIDEAS: "Pythia: Generating Test Cases ..."
Moritz, Evan ASE'13-NEWIDEAS: "ExPort: Detecting and Visualizing ..."
Motwani, Manish ASE'13-NEWIDEAS: "Detecting System Use Cases ..."
Nakić-Alfirević, Tomislav ASE'13-EXPERIENCE: "Model Based Test Validation ..."
Nanjundaswamy, Vishwas ASE'13-NEWIDEAS: "Flow Permissions for Android ..."
Natella, Roberto ASE'13: "SABRINE: State-Based Robustness ..."
Nebut, Clémentine ASE'13-NEWIDEAS: "Recovering Model Transformation ..."
Nejati, Shiva ASE'13-EXPERIENCE: "Minimizing CPU Time Shortage ..."
Nguyen, Anh Tuan ASE'13: "A Study of Repetitiveness ..." ASE'13: "Dangling References in Multi-configuration ..."
Nguyen, Cu Duy ASE'13-NEWIDEAS: "Automated Inference of Classifications ..."
Nguyen, Hoan Anh ASE'13: "A Study of Repetitiveness ..." ASE'13: "Dangling References in Multi-configuration ..."
Nguyen, Hung Viet ASE'13: "Dangling References in Multi-configuration ..."
Nguyen, Tien N. ASE'13: "A Study of Repetitiveness ..." ASE'13: "Dangling References in Multi-configuration ..."
Nguyen, Tung Thanh ASE'13: "A Study of Repetitiveness ..." ASE'13: "Dangling References in Multi-configuration ..."
Österlund, Erik ASE'13: "Dynamically Transforming Data ..."
Ohmann, Peter ASE'13: "Lightweight Control-Flow Instrumentation ..."
Oliveto, Rocco ASE'13: "Detecting Bad Smells in Source ..."
Orso, Alessandro ASE'13-NEWIDEAS: "SBFR: A Search Based Approach ..."
Padmanabhuni, Bindu Madhavi ASE'13: "A Scalable Approach for Malware ..."
Pal, Debjit ASE'13-NEWIDEAS: "Using Automatically Generated ..."
Palepu, Vijay Krishna ASE'13: "Improving Efficiency of Dynamic ..."
Palomba, Fabio ASE'13: "Detecting Bad Smells in Source ..."
Pandey, Ashutosh ASE'13: "Automated Planning for Software ..."
Parlato, Gennaro ASE'13-TOOLS: "CSeq: A Concurrency Pre-processor ..."
Pattabiraman, Karthik ASE'13-NEWIDEAS: "Pythia: Generating Test Cases ..."
Peng, Xin ASE'13-EXPERIENCE: "Towards Contextual and On-Demand ..."
Penix, John ASE'13-INVITED: "Big Problems in Industry (Panel) ..."
Perry, Dewayne E. ASE'13: "Improving Bug Localization ..."
Person, Suzette ASE'13: "Detecting and Characterizing ..."
Pilgrim, Jens von ASE'13-NEWIDEAS: "Model/Code Co-Refactoring: ..."
Pohl, Klaus ASE'13: "Measuring the Structural Complexity ..."
Pohl, Richard ASE'13: "Measuring the Structural Complexity ..."
Poshyvanyk, Denys ASE'13: "Detecting Bad Smells in Source ..." ASE'13-NEWIDEAS: "ExPort: Detecting and Visualizing ..."
Potter, Richard ASE'13: "Software Model Checking for ..."
Pradel, Michael ASE'13: "Bita: Coverage-Guided, Automatic ..."
Rafiq, Yasmin ASE'13-TOOLS: "Developing Self-Verifying ..."
Rajan, Hridesh ASE'13: "A Study of Repetitiveness ..."
Ráth, István ASE'13: "Towards Precise Metrics for ..."
Ray, Baishakhi ASE'13: "Detecting and Characterizing ..."
Reger, Giles ASE'13-NEWIDEAS: "A Pattern-Based Approach to ..."
Reichenbach, Christoph ASE'13: "SEDGE: Symbolic Example Data ..."
Rhee, Junghwan ASE'13-TOOLS: "iProbe: A Lightweight User-Level ..."
Rosenberg, Brian ASE'13-NEWIDEAS: "Flow Permissions for Android ..."
Rosner, Nicolás ASE'13: "Ranger: Parallel Analysis ..."
Roşu, Grigore ASE'13: "Efficient Parametric Runtime ..."
Rothermel, Gregg ASE'13: "Testing Properties of Dataflow ..."
Ruiz-Cortés, Antonio ASE'13-NEWIDEAS: "Multi-user Variability Configuration: ..."
Rungta, Neha ASE'13: "Detecting and Characterizing ..."
Rydeheard, David ASE'13-NEWIDEAS: "A Pattern-Based Approach to ..."
Saada, Hajer ASE'13-NEWIDEAS: "Recovering Model Transformation ..."
Sagdeo, Parth ASE'13-NEWIDEAS: "Using Automatically Generated ..."
Saha, Ripon K. ASE'13: "Improving Bug Localization ..."
Sahraoui, Houari ASE'13-NEWIDEAS: "Recovering Model Transformation ..."
Sannier, Nicolas ASE'13-NEWIDEAS: "From Comparison Matrix to ..."
Savagaonkar, Milind ASE'13-NEWIDEAS: "Natural Language Requirements ..."
Sayyad, Abdel Salam ASE'13: "Scalable Product Line Configuration: ..."
Scanniello, Giuseppe ASE'13-NEWIDEAS: "Class Level Fault Prediction ..."
Schaefer, Christopher ASE'13-TOOLS: "Crushinator: A Framework towards ..."
Sengupta, Shubhashis ASE'13-NEWIDEAS: "Natural Language Requirements ..."
Servant, Francisco ASE'13-DOCTORAL: "Supporting Bug Investigation ..."
Seyff, Norbert ASE'13-NEWIDEAS: "Semi-automatic Generation ..."
Shah, Eeshan ASE'13-NEWIDEAS: "Cloud Twin: Native Execution ..."
Shar, Lwin Khin ASE'13: "A Scalable Approach for Malware ..."
Shen, Feng ASE'13-NEWIDEAS: "Flow Permissions for Android ..."
Shin, Yonghee ASE'13-NEWIDEAS: "Learning Effective Query Transformations ..."
Siddiqui, Junaid H. ASE'13: "Ranger: Parallel Analysis ..."
Siegmund, Norbert ASE'13: "Variability-Aware Performance ..."
Simbürger, Andreas ASE'13-EXPERIENCE: "The Potential of Polyhedral ..."
Sinz, Carsten ASE'13-TOOLS: "The Bounded Model Checker ..."
Slator, Brian M. ASE'13-TOOLS: "Crushinator: A Framework towards ..."
Smaragdakis, Yannis ASE'13: "SEDGE: Symbolic Example Data ..."
Song, Dawn ASE'13: "Blitz: Compositional Bounded ..."
Steimann, Friedrich ASE'13-NEWIDEAS: "Model/Code Co-Refactoring: ..."
Stricker, Vanessa ASE'13: "Measuring the Structural Complexity ..."
Sumner, William N. ASE'13: "Identifying Execution Points ..."
Sun, Chengnian ASE'13: "TzuYu: Learning Stateful Typestates ..." ASE'13: "Constraint-Based Automatic ..."
Sun, Jun ASE'13: "TzuYu: Learning Stateful Typestates ..." ASE'13: "Constraint-Based Automatic ..." ASE'13: "Automatically Partition Software ..."
Sun, Yuyin ASE'13: "Automatically Synthesizing ..."
Szatmári, Zoltán ASE'13: "Towards Precise Metrics for ..."
Taentzer, Gabriele ASE'13: "Consistency-Preserving Edit ..."
Tambe, Milind ASE'13-NEWIDEAS: "Randomizing Regression Tests ..."
Tan, Hee Beng Kuan ASE'13: "A Scalable Approach for Malware ..."
Tan, Lin ASE'13: "Personalized Defect Prediction ..." ASE'13-NEWIDEAS: "AutoComment: Mining Question ..."
Tanabe, Yoshinori ASE'13: "Software Model Checking for ..." ASE'13: "Automated Verification of ..."
Tang, Ching Hoo ASE'13-EXPERIENCE: "Automated Verification of ..."
Tasharofi, Samira ASE'13: "Bita: Coverage-Guided, Automatic ..."
Thies, Andreas ASE'13-NEWIDEAS: "Model/Code Co-Refactoring: ..."
Thung, Ferdian ASE'13: "Automatic Recommendation of ..."
Tiella, Roberto ASE'13-NEWIDEAS: "SBFR: A Search Based Approach ..."
Tilevich, Eli ASE'13-NEWIDEAS: "Cloud Twin: Native Execution ..."
Tillmann, Nikolai ASE'13: "Characteristic Studies of ..." ASE'13-TOOLS: "Pex4Fun: A Web-Based Environment ..."
Tonella, Paolo ASE'13-NEWIDEAS: "Automated Inference of Classifications ..." ASE'13-NEWIDEAS: "SBFR: A Search Based Approach ..."
Tonetta, Stefano ASE'13-TOOLS: "OCRA: A Tool for Checking ..."
Trinidad, Pablo ASE'13-NEWIDEAS: "Multi-user Variability Configuration: ..."
Ulke, Bastian ASE'13-NEWIDEAS: "Model/Code Co-Refactoring: ..."
Vanciu, Radu ASE'13: "Finding Architectural Flaws ..."
Vasudevan, Shobha ASE'13-NEWIDEAS: "Using Automatically Generated ..."
Veerappa, Varsha ASE'13-NEWIDEAS: "Assessing the Maturity of ..."
Vo, Quoc Bao ASE'13-TOOLS: "Smart Cloud Broker: Finding ..."
Wang, Chao ASE'13: "Round-Up: Runtime Checking ..." ASE'13-TOOLS: "CCmutator: A Mutation Generator ..."
Wang, Hai ASE'13-EXPERIENCE: "Towards Contextual and On-Demand ..."
Wang, Shaowei ASE'13: "Automatic Recommendation of ..."
Washizaki, Hironori ASE'13: "Automated Verification of ..."
Wąsowski, Andrzej ASE'13: "Variability-Aware Performance ..."
Weidenbach, Christoph ASE'13-EXPERIENCE: "Automated Verification of ..."
Weimer, Westley ASE'13: "Leveraging Program Equivalence ..."
Weitl, Franz ASE'13: "Software Model Checking for ..."
Wischnewski, Patrick ASE'13-EXPERIENCE: "Automated Verification of ..."
Wong, Edmund ASE'13-NEWIDEAS: "AutoComment: Mining Question ..."
Wu, Kun-Lung ASE'13: "Testing Properties of Dataflow ..."
Wu, Yongzheng ASE'13: "Automatically Partition Software ..."
Wüest, Dustin ASE'13-NEWIDEAS: "Semi-automatic Generation ..."
Xiao, Hao ASE'13: "TzuYu: Learning Stateful Typestates ..."
Xiao, Xusheng ASE'13: "Characteristic Studies of ..."
Xie, Tao ASE'13-EXPERIENCE: "Software Analytics for Incident ..." ASE'13: "Characteristic Studies of ..."