default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMatthew B. Dwyer
Matthew Dwyer 0001
Person information
- affiliation: University of Virginia, Charlottesville, VA, USA
- affiliation (former): University of Nebraska-Lincoln, NE, USA
Other persons with the same name
- Matthew Dwyer 0002 — University of Wisconsin-Madison, Madison, WI, USA
- Matthew Dwyer 0003
![[0000-0001-6846-3579]](https://dblp.uni-trier.de/img/orcid-mark.12x12.png "0000-0001-6846-3579")
— Iowa State University, Ames, IA, USA - Matthew Dwyer 0004 — U.S. Army Research Laboratory (and 1 more)
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j35]Hai Duong, Dong Xu, ThanhVu Nguyen, Matthew B. Dwyer:
Harnessing Neuron Stability to Improve DNN Verification. Proc. ACM Softw. Eng. 1(FSE): 859-881 (2024)- [j34]Will Leeson, Matthew B. Dwyer:
Algorithm Selection for Software Verification Using Graph Neural Networks. ACM Trans. Softw. Eng. Methodol. 33(3): 76:1-76:36 (2024) - [c128]Felipe Toledo, Trey Woodlief, Sebastian G. Elbaum, Matthew B. Dwyer:
Specifying and Monitoring Safe Driving Properties with Scene Graphs. ICRA 2024: 15577-15584 - [c127]Swaroopa Dola, Rory McDaniel, Matthew B. Dwyer, Mary Lou Soffa:
CIT4DNN: Generating Diverse and Rare Inputs for Neural Networks Using Latent Space Combinatorial Testing. ICSE 2024: 118:1-118:13 - [c126]Trey Woodlief, Felipe Toledo, Sebastian G. Elbaum, Matthew B. Dwyer:
S3C: Spatial Semantic Scene Coverage for Autonomous Vehicles. ICSE 2024: 141:1-141:13 - [c125]Yinzhu Jin, Matthew B. Dwyer, P. Thomas Fletcher:
Measuring Feature Dependency of Neural Networks by Collapsing Feature Dimensions in The Data Manifold. ISBI 2024: 1-5 - [c124]Dong Xu, Nusrat Jahan Mozumder, Hai Duong, Matthew B. Dwyer:
Training for Verification: Increasing Neuron Stability to Scale DNN Verification. TACAS (3) 2024: 24-44 - [i17]Hai Duong, Dong Xu, ThanhVu Nguyen, Matthew B. Dwyer:
Harnessing Neuron Stability to Improve DNN Verification. CoRR abs/2401.14412 (2024) - [i16]Yinzhu Jin, Matthew B. Dwyer, P. Thomas Fletcher:
Measuring Feature Dependency of Neural Networks by Collapsing Feature Dimensions in the Data Manifold. CoRR abs/2404.12341 (2024) - [i15]Soneya Binta Hossain, Matthew B. Dwyer:
TOGLL: Correct and Strong Test Oracle Generation with LLMs. CoRR abs/2405.03786 (2024) - 2023
- [j33]Swaroopa Dola, Matthew B. Dwyer, Mary Lou Soffa:
Input Distribution Coverage: Measuring Feature Interaction Adequacy in Neural Network Testing. ACM Trans. Softw. Eng. Methodol. 32(3): 81:1-81:48 (2023) - [c123]Christopher Morse, Lu Feng, Matthew B. Dwyer, Sebastian G. Elbaum:
A Framework for the Unsupervised Inference of Relations Between Sensed Object Spatial Distributions and Robot Behaviors. ICRA 2023: 901-908 - [c122]Soneya Binta Hossain, Matthew B. Dwyer, Sebastian G. Elbaum, Anh Nguyen-Tuong:
Measuring and Mitigating Gaps in Structural Testing. ICSE 2023: 1712-1723 - [c121]Will Leeson, Matthew B. Dwyer, Antonio Filieri:
Sibyl: Improving Software Engineering Tools with SMT Selection. ICSE 2023: 2185-2197 - [c120]Soneya Binta Hossain, Antonio Filieri, Matthew B. Dwyer, Sebastian G. Elbaum, Willem Visser:
Neural-Based Test Oracle Generation: A Large-Scale Evaluation and Lessons Learned. ESEC/SIGSOFT FSE 2023: 120-132 - [c119]Felipe Toledo, David Shriver, Sebastian G. Elbaum, Matthew B. Dwyer:
Deeper Notions of Correctness in Image-Based DNNs: Lifting Properties from Pixel to Entities. ESEC/SIGSOFT FSE 2023: 2122-2126 - [d8]Will Leeson, Matthew Dwyer, Antonio Filieri:
Sibyl Datasets. Zenodo, 2023
- [i14]Arup Kumar Sarker, Farzana Yasmin Ahmad, Matthew B. Dwyer:
PCV: A Point Cloud-Based Network Verifier. CoRR abs/2301.11806 (2023) - [i13]Hai Duong, Linhan Li, ThanhVu Nguyen, Matthew B. Dwyer:
A DPLL(T) Framework for Verifying Deep Neural Networks. CoRR abs/2307.10266 (2023) - [i12]Soneya Binta Hossain, Antonio Filieri, Matthew B. Dwyer, Sebastian G. Elbaum, Willem Visser:
Neural-Based Test Oracle Generation: A Large-scale Evaluation and Lessons Learned. CoRR abs/2307.16023 (2023) - [i11]Soneya Binta Hossain, Matthew B. Dwyer, Sebastian G. Elbaum, Anh Nguyen-Tuong:
Artifact: Measuring and Mitigating Gaps in Structural Testing. CoRR abs/2308.00316 (2023) - 2022
- [j32]Mitchell J. Gerrard, Mateus Borges, Matthew B. Dwyer, Antonio Filieri:
Conditional Quantitative Program Analysis. IEEE Trans. Software Eng. 48(4): 1212-1227 (2022) - [j31]ThanhVu Nguyen, KimHao Nguyen, Matthew B. Dwyer:
Using Symbolic States to Infer Numerical Invariants. IEEE Trans. Software Eng. 48(10): 3877-3899 (2022) - [c118]Matthew B. Dwyer:
Message from the ICSE 2022 General Chair. ICSE-SEIS 2022: viii-ix - [c117]Matthew B. Dwyer:
Message from the ICSE 2022 General Chair. ICSE (SEIP) 2022: xii-xiii - [c116]Matthew B. Dwyer:
Message from the ICSE 2022 General Chair. ICSE 2022: xxix-xxx - [c115]Arshdeep Sekhon, Yangfeng Ji, Matthew B. Dwyer, Yanjun Qi:
White-box Testing of NLP models with Mask Neuron Coverage. NAACL-HLT (Findings) 2022: 1547-1558 - [c114]Peeyush Kushwaha, Rahul Purandare, Matthew B. Dwyer:
Optimal Finite-State Monitoring of Partial Traces. RV 2022: 124-142 - [c113]Will Leeson, Matthew B. Dwyer:
Graves-CPA: A Graph-Attention Verifier Selector (Competition Contribution). TACAS (2) 2022: 440-445 - [i10]Will Leeson, Matthew B. Dwyer:
Algorithm Selection for Software Verification using Graph Attention Networks. CoRR abs/2201.11711 (2022) - [i9]Arshdeep Sekhon, Yangfeng Ji, Matthew B. Dwyer, Yanjun Qi:
White-box Testing of NLP models with Mask Neuron Coverage. CoRR abs/2205.05050 (2022) - [i8]Soneya Binta Hossain, Matthew B. Dwyer:
A Brief Survey on Oracle-based Test Adequacy Metrics. CoRR abs/2212.06118 (2022) - 2021
- [c112]David Shriver, Sebastian G. Elbaum, Matthew B. Dwyer:
DNNV: A Framework for Deep Neural Network Verification. CAV (1) 2021: 137-150 - [c111]David Shriver, Sebastian G. Elbaum, Matthew B. Dwyer:
Artifact: Reducing DNN Properties to Enable Falsification with Adversarial Attacks. ICSE (Companion Volume) 2021: 162-163 - [c110]Swaroopa Dola, Matthew B. Dwyer, Mary Lou Soffa:
Artifact: Distribution-Aware Testing of Neural Networks Using Generative Models. ICSE (Companion Volume) 2021: 205-206 - [c109]Swaroopa Dola, Matthew B. Dwyer, Mary Lou Soffa:
Distribution-Aware Testing of Neural Networks Using Generative Models. ICSE 2021: 226-237 - [c108]David Shriver, Sebastian G. Elbaum, Matthew B. Dwyer:
Reducing DNN Properties to Enable Falsification with Adversarial Attacks. ICSE 2021: 275-287 - [c107]Felipe Toledo, David Shriver, Sebastian G. Elbaum, Matthew B. Dwyer:
Distribution Models for Falsification and Verification of DNNs. ASE 2021: 317-329 - [d7]Swaroopa Dola, Matthew B. Dwyer, Mary Lou Soffa:
Distribution-aware testing of neural networks using generative models. Zenodo, 2021 - [d6]David Shriver, Sebastian G. Elbaum, Matthew Dwyer:
Reducing DNN Properties to Enable Falsification with Adversarial Attacks. Zenodo, 2021 - [d5]David Shriver, Sebastian G. Elbaum, Matthew B. Dwyer:
Artifact for DNNV: A Framework for Deep Neural Network Verification. Zenodo, 2021 - [d4]David Shriver, Sebastian G. Elbaum, Matthew B. Dwyer:
Artifact for DNNV: A Framework for Deep Neural Network Verification. Zenodo, 2021 - [d3]Felipe Toledo, David Shriver, Sebastian G. Elbaum, Matthew Dwyer:
Distribution Models for Falsification and Verification of DNNs. Zenodo, 2021 - [d2]Felipe Toledo, David Shriver, Sebastian G. Elbaum, Matthew B. Dwyer:
Distribution Models for Falsification and Verification of DNNs. Zenodo, 2021 - [d1]Felipe Toledo, David Shriver, Sebastian G. Elbaum, Matthew B. Dwyer:
Distribution Models for Falsification and Verification of DNNs. Zenodo, 2021 - [i7]Swaroopa Dola, Matthew B. Dwyer, Mary Lou Soffa:
Distribution-Aware Testing of Neural Networks Using Generative Models. CoRR abs/2102.13602 (2021) - [i6]David Shriver, Sebastian G. Elbaum, Matthew B. Dwyer:
DNNV: A Framework for Deep Neural Network Verification. CoRR abs/2105.12841 (2021) - 2020
- [c106]Dong Xu, David Shriver, Matthew B. Dwyer, Sebastian G. Elbaum:
Systematic Generation of Diverse Benchmarks for DNN Verification. CAV (1) 2020: 97-121 - [c105]Carl Hildebrandt, Sebastian G. Elbaum, Nicola Bezzo, Matthew B. Dwyer:
Feasible and stressful trajectory generation for mobile robots. ISSTA 2020: 349-362 - [i5]Peeyush Kushwaha, Rahul Purandare, Matthew B. Dwyer:
Optimal Runtime Verification of Finite State Properties over Lossy Event Streams. CoRR abs/2004.04214 (2020) - [i4]Prem Devanbu, Matthew B. Dwyer, Sebastian G. Elbaum, Michael Lowry, Kevin Moran, Denys Poshyvanyk, Baishakhi Ray, Rishabh Singh, Xiangyu Zhang:
Deep Learning & Software Engineering: State of Research and Future Directions. CoRR abs/2009.08525 (2020)
2010 – 2019
- 2019
- [c104]David Shriver, Sebastian G. Elbaum, Matthew B. Dwyer, David S. Rosenblum:
Evaluating Recommender System Stability with Influence-Guided Fuzzing. AAAI 2019: 4934-4942 - [c103]Mitchell J. Gerrard, Matthew B. Dwyer:
ALPACA: a large portfolio-based alternating conditional analysis. ICSE (Companion Volume) 2019: 35-38 - [i3]ThanhVu Nguyen, Matthew B. Dwyer, Willem Visser:
SymInfer: Inferring Program Invariants using Symbolic States. CoRR abs/1903.11768 (2019) - [i2]David Shriver, Dong Xu, Sebastian G. Elbaum, Matthew B. Dwyer:
Refactoring Neural Networks for Verification. CoRR abs/1908.08026 (2019) - [i1]Eleanor Quint, Dong Xu, Haluk Dogan, Zeynep Hakguder, Stephen Scott, Matthew B. Dwyer:
Formal Language Constraints for Markov Decision Processes. CoRR abs/1910.01074 (2019) - 2018
- [j30]Matthew B. Dwyer:
State of the Journal. IEEE Trans. Software Eng. 44(1): 1-2 (2018) - [c102]Elena Sherman, Matthew B. Dwyer:
Structurally Defined Conditional Data-Flow Static Analysis. TACAS (2) 2018: 249-265 - 2017
- [j29]Matthew B. Dwyer:
Improving Timeliness and Visibility in Publishing Software Engineering Research. IEEE Trans. Software Eng. 43(3): 205-206 (2017) - [c101]Mitchell J. Gerrard, Matthew B. Dwyer:
Comprehensive failure characterization. ASE 2017: 365-376 - [c100]ThanhVu Nguyen, Matthew B. Dwyer, Willem Visser:
SymInfer: inferring program invariants using symbolic states. ASE 2017: 804-814 - [c99]Jan Hückelheim, Ziqing Luo, Fabio Luporini, Navjot Kukreja, Michael Lange, Gerard Gorman, Stephen F. Siegel, Matthew B. Dwyer, Paul D. Hovland:
Towards Self-Verification in Finite Difference Code Generation. CORRECTNESS@SC 2017: 42-49 - 2016
- [j28]Matthew B. Dwyer:
Finding Flaws in Natural Language Requirements. Computer 49(11): 10 (2016) - [j27]Kathryn T. Stolee, Sebastian G. Elbaum, Matthew B. Dwyer:
Code search with input/output queries: Generalizing, ranking, and assessment. J. Syst. Softw. 116: 35-48 (2016) - [j26]Matthew B. Dwyer, David S. Rosenblum:
Editorial: Journal-First Publication for the Software Engineering Community. IEEE Trans. Software Eng. 42(1): 1 (2016) - [j25]Matthew B. Dwyer, Eric Bodden, Brian Fitzgerald, Miryung Kim, Sunghun Kim, Amy J. Ko, Emilia Mendes, Raffaela Mirandola, Ana Moreira, Forrest Shull, Stephen F. Siegel, Tao Xie, Charles Zhang:
Connecting and Serving the Software Engineering Community. IEEE Trans. Software Eng. 42(3): 203-205 (2016) - [c98]Eric F. Rizzi, Sebastian G. Elbaum, Matthew B. Dwyer:
On the techniques we create, the tools we build, and their misalignments: a study of KLEE. ICSE 2016: 132-143 - [c97]Manchun Zheng, John G. Edenhofner, Ziqing Luo, Mitchell J. Gerrard, Michael S. Rogers, Matthew B. Dwyer, Stephen F. Siegel:
CIVL: Applying a General Concurrency Verification Framework to C/Pthreads Programs (Competition Contribution). TACAS 2016: 908-911 - 2015
- [j24]Elena Sherman, Brady J. Garvin, Matthew B. Dwyer:
Deciding Type-Based Partial-Order Constraints for Path-Sensitive Analysis. ACM Trans. Softw. Eng. Methodol. 24(3): 15:1-15:33 (2015) - [j23]Matthew B. Dwyer, David S. Rosenblum:
Editorial Journal-First Publication for the Software Engineering Community. ACM Trans. Softw. Eng. Methodol. 25(1): 1:1-1:2 (2015) - [j22]Matthew B. Dwyer:
State of the Journal Editorial. IEEE Trans. Software Eng. 41(1): 1-2 (2015) - [c96]Matthew B. Dwyer, Antonio Filieri, Jaco Geldenhuys, Mitchell J. Gerrard, Corina S. Pasareanu, Willem Visser:
Probabilistic Program Analysis. GTTSE 2015: 1-25 - [c95]Elena Sherman, Matthew B. Dwyer:
Exploiting Domain and Program Structure to Synthesize Efficient and Precise Data Flow Analyses (T). ASE 2015: 608-618 - [c94]Manchun Zheng, Michael S. Rogers, Ziqing Luo, Matthew B. Dwyer, Stephen F. Siegel:
CIVL: Formal Verification of Parallel Programs. ASE 2015: 830-835 - [c93]Stephen F. Siegel, Manchun Zheng, Ziqing Luo, Timothy K. Zirkel, Andre V. Marianiello, John G. Edenhofner, Matthew B. Dwyer, Michael S. Rogers:
CIVL: the concurrency intermediate verification language. SC 2015: 61:1-61:12 - 2014
- [j21]Eric F. Rizzi, Matthew B. Dwyer, Sebastian G. Elbaum:
Safely reducing the cost of unit level symbolic execution through read/write analysis. ACM SIGSOFT Softw. Eng. Notes 39(1): 1-5 (2014) - [c92]Anita Sarma, Joshua Branchaud, Matthew B. Dwyer, Suzette Person, Neha Rungta:
Development context driven change awareness and analysis framework. ICSE Companion 2014: 404-407 - [c91]Yurong Wang, Suzette Person, Sebastian G. Elbaum, Matthew B. Dwyer:
A framework to advise tests using tests. ICSE Companion 2014: 440-443 - [c90]Kasper Søe Luckow, Corina S. Pasareanu, Matthew B. Dwyer, Antonio Filieri, Willem Visser:
Exact and approximate probabilistic symbolic execution for nondeterministic programs. ASE 2014: 575-586 - [c89]Jacob Swanson, Myra B. Cohen, Matthew B. Dwyer, Brady J. Garvin, Justin W. Firestone:
Beyond the rainbow: self-adaptive failure avoidance in configurable systems. SIGSOFT FSE 2014: 377-388 - [e9]James D. Herbsleb, Matthew B. Dwyer:
Proceedings of the on Future of Software Engineering, FOSE 2014, Hyderabad, India, May 31 - June 7, 2014. ACM 2014, ISBN 978-1-4503-2865-4 [contents] - 2013
- [c88]Rahul Purandare, Matthew B. Dwyer, Sebastian G. Elbaum:
Optimizing monitoring of finite state properties through monitor compaction. ISSTA 2013: 280-290 - [p1]Brady J. Garvin, Myra B. Cohen, Matthew B. Dwyer:
Failure Avoidance in Configurable Systems through Feature Locality. Assurances for Self-Adaptive Systems 2013: 266-296 - 2012
- [j20]Willem Visser, Matthew B. Dwyer, Michael W. Whalen:
The hidden models of model checking. Softw. Syst. Model. 11(4): 541-555 (2012) - [c87]Jiangfan Shi, Myra B. Cohen, Matthew B. Dwyer:
Integration Testing of Software Product Lines Using Compositional Symbolic Execution. FASE 2012: 270-284 - [c86]David J. Anthony, William P. Bennett, Mehmet C. Vuran, Matthew B. Dwyer, Sebastian G. Elbaum, Anne Lacy, Mike Engels, Walter Wehtje:
Sensing through the continent: towards monitoring migratory birds using cellular sensor networks. IPSN 2012: 329-340 - [c85]Rahul Purandare, Javier Darsie, Sebastian G. Elbaum, Matthew B. Dwyer:
Extracting conditional component dependence for distributed robotic systems. IROS 2012: 1533-1540 - [c84]Pingyu Zhang, Sebastian G. Elbaum, Matthew B. Dwyer:
Compositional load test generation for software pipelines. ISSTA 2012: 89-99 - [c83]Jaco Geldenhuys, Matthew B. Dwyer, Willem Visser:
Probabilistic symbolic execution. ISSTA 2012: 166-176 - [c82]Willem Visser, Jaco Geldenhuys, Matthew B. Dwyer:
Green: reducing, reusing and recycling constraints in program analysis. SIGSOFT FSE 2012: 58 - [e8]Gary T. Leavens, Matthew B. Dwyer:
Proceedings of the 27th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2012, part of SPLASH 2012, Tucson, AZ, USA, October 21-25, 2012. ACM 2012, ISBN 978-1-4503-1561-6 [contents] - 2011
- [j19]Brady J. Garvin, Myra B. Cohen, Matthew B. Dwyer:
Evaluating improvements to a meta-heuristic search for constrained interaction testing. Empir. Softw. Eng. 16(1): 61-102 (2011) - [j18]Madeline Diep, Matthew B. Dwyer, Sebastian G. Elbaum:
Lattice-Based Sampling for Path Property Monitoring. ACM Trans. Softw. Eng. Methodol. 21(1): 5:1-5:43 (2011) - [c81]Matthew B. Dwyer:
Unifying testing and analysis through behavioral coverage. ASE 2011: 2 - [c80]Pingyu Zhang, Sebastian G. Elbaum, Matthew B. Dwyer:
Automatic generation of load tests. ASE 2011: 43-52 - [c79]Du Li, Witawas Srisa-an, Matthew B. Dwyer:
SOS: saving time in dynamic race detection with stationary analysis. OOPSLA 2011: 35-50 - [c78]Haitao Zhu, Steve Goddard, Matthew B. Dwyer:
Response Time Analysis of Hierarchical Scheduling: The Synchronized Deferrable Servers Approach. RTSS 2011: 239-248 - [c77]Rahul Purandare, Matthew B. Dwyer, Sebastian G. Elbaum:
Monitoring Finite State Properties: Algorithmic Approaches and Their Relative Strengths. RV 2011: 381-395 - [c76]Brady J. Garvin, Myra B. Cohen, Matthew B. Dwyer:
Using feature locality: can we leverage history to avoid failures during reconfiguration? ASAS@ESEC/FSE 2011: 24-33 - [e7]Matthew B. Dwyer, Frank Tip:
Proceedings of the 20th International Symposium on Software Testing and Analysis, ISSTA 2011, Toronto, ON, Canada, July 17-21, 2011. ACM 2011, ISBN 978-1-4503-0562-4 [contents] - 2010
- [j17]Oksana Tkachuk, Matthew B. Dwyer:
Environment generation for validating event-driven software using model checking. IET Softw. 4(3): 194-209 (2010) - [c75]Elena Sherman, Brady J. Garvin, Matthew B. Dwyer:
A Slice-Based Decision Procedure for Type-Based Partial Orders. IJCAR 2010: 156-170 - [c74]Matthew B. Dwyer:
Exploiting Partial Success in Applying Automated Formal Methods. ICFEM 2010: 21 - [c73]David J. Anthony, William P. Bennett, Mehmet C. Vuran, Matthew B. Dwyer, Sebastian G. Elbaum, Felipe Chavez-Ramirez:
Simulating and testing mobile wireless sensor networks. MSWiM 2010: 49-58 - [c72]Rahul Purandare, Matthew B. Dwyer, Sebastian G. Elbaum:
Monitor optimization via stutter-equivalent loop transformation. OOPSLA 2010: 270-285 - [c71]Haitao Zhu, Steve Goddard, Matthew B. Dwyer:
Selecting Server Parameters for Predictable Runtime Monitoring. IEEE Real-Time and Embedded Technology and Applications Symposium 2010: 227-236 - [c70]Matthew B. Dwyer, Rahul Purandare, Suzette Person:
Runtime Verification in Context: Can Optimizing Error Detection Improve Fault Diagnosis? RV 2010: 36-50 - [c69]Matthew B. Dwyer, Sebastian G. Elbaum:
Unifying verification and validation techniques: relating behavior and properties through partial evidence. FoSER 2010: 93-98
2000 – 2009
- 2009
- [j16]Sebastian G. Elbaum, Hui Nee Chin, Matthew B. Dwyer, Matthew Jorde:
Carving and Replaying Differential Unit Test Cases from System Test Cases. IEEE Trans. Software Eng. 35(1): 29-45 (2009) - [c68]Haitao Zhu, Matthew B. Dwyer, Steve Goddard:
Predictable Runtime Monitoring. ECRTS 2009: 173-183 - [c67]Guowei Yang, Matthew B. Dwyer, Gregg Rothermel:
Regression model checking. ICSM 2009: 115-124 - [c66]Suzette Person, Matthew B. Dwyer:
Generalized Abstract Symbolic Summaries for Differencing Heap-manipulating Programs. NASA Formal Methods 2009: 46-55 - [c65]Elena Sherman, Matthew B. Dwyer, Sebastian G. Elbaum:
Saturation-based testing of concurrent programs. ESEC/SIGSOFT FSE 2009: 53-62 - 2008
- [j15]Myra B. Cohen, Matthew B. Dwyer, Jiangfan Shi:
Constructing Interaction Test Suites for Highly-Configurable Systems in the Presence of Constraints: A Greedy Approach. IEEE Trans. Software Eng. 34(5): 633-650 (2008) - [c64]Madeline Diep, Sebastian G. Elbaum, Matthew Dwyer:
Trace Normalization. ISSRE 2008: 67-76 - [c63]