Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

References from my FSE'24 paper + some fixes #114

Merged
merged 12 commits into from
Oct 14, 2024
Merged
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
1 change: 0 additions & 1 deletion bibtex-ignore.txt
Original file line number Diff line number Diff line change
@@ -1,4 +1,3 @@
Warning--empty publisher in DGT:EMSE21
Warning--can't use both volume and number fields in LMY:AAAI21
Warning--can't use both volume and number fields in DPV:AAAI20
Warning--there's a number but no volume in BSM+:OOPSLA24
121 changes: 118 additions & 3 deletions literature.bib
Original file line number Diff line number Diff line change
@@ -2426,6 +2426,21 @@ @article{BRSS:COLA22

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% 2021 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

@inproceedings{ESP:PLDI21,
author = {Erdweg, Sebastian and Szab\'{o}, Tam\'{a}s and Pacak, Andr\'{e}},
title = {{Concise, Type-Safe, and Efficient Structural Diffing}},
year = 2021,
isbn = {9781450383912},
publisher = ACM,
address = NY,
doi = {10.1145/3453483.3454052},
booktitle = PLDI,
pages = {406--419},
numpages = {14},
keywords = {tree diffing, incremental computing},
location = {Virtual, Canada},
}

@book{BHvMW21,
author = {Biere, Armin and Heule, Marijn and van Maaren, Hans and Walsh, Tony},
title = {{Handbook of Satisfiability}},
@@ -3240,9 +3255,9 @@ @inproceedings{KTSB:ICSE21
}

@book{DGT:EMSE21,
missing = NoPublisher,
editor = {Laurence Duchien and Paul Gr{\"{u}}nbacher and Thomas Th{\"{u}}m},
title = {{Special Issue on Configurable Systems in Empirical Software Engineering (EMSE)}},
publisher = Springer,
volume = {26},
doi = {10.1007/s10664-021-09964-6},
tt-tags = {Editorial},
@@ -4423,6 +4438,21 @@ @inproceedings{STS:VaMoS20

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% 2019 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

@inproceedings{SMK+:SPLC19,
author = {Daniel Str{\"{u}}ber and Mukelabai Mukelabai and Jacob Kr{\"{u}}ger and Stefan Fischer and Lukas Linsbauer and Jabier Martinez and Thorsten Berger},
title = {{Facing the Truth: Benchmarking the Techniques for the Evolution of Variant-Rich Systems}},
booktitle = SPLC,
year = 2019,
publisher = ACM,
address = NY,
pages = {177--188},
numpages = {12},
doi = {10.1145/3336294.3336302},
isbn = {9781450371384},
keywords = {software variability, software evolution, product lines, benchmark},
location = Paris
}

@inproceedings{BH:POS19,
title = {{The Effect of Scrambling CNFs}},
author = {Biere, Armin and Heule, Marijn},
@@ -5647,6 +5677,21 @@ @article{BCKW:Dagstuhl19

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% 2018 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

@inproceedings{KES:ICSEC18,
author = {Christian Kr{\"{o}}her and Sascha El{-}Sharkawy and Klaus Schmid},
title = {{KernelHaven: An Experimentation Workbench for Analyzing Software Product Lines}},
booktitle = ICSEC,
pages = {73--76},
numpages = {4},
publisher = ACM,
address = NY,
year = 2018,
keywords = {empirical software engineering, software product line analysis, static analysis, variability extraction},
doi = {10.1145/3183440.3183480},
isbn = {9781450356633},
location = Gothenburg
}

@article{A:SZJ18,
title = {{Internal, External, and Ecological Validity in Research Design, Conduct, and Evaluation}},
author = {Andrade, Chittaranjan},
@@ -6613,7 +6658,7 @@ @article{HLB+:AIJ17
pages = {1--25},
year = 2017,
issn = {0004-3702},
doi = {j.artint.2016.09.006}
doi = {10.1016/J.ARTINT.2016.09.006}
}

@inproceedings{SKFD:GCPR17,
@@ -11959,6 +12004,18 @@ @article{TKB+:SCP14

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% 2013 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

@article{LSLZ:STVR13,
title = {{A Survey of Code-Based Change Impact Analysis Techniques}},
author = {Li, Bixin and Sun, Xiaobing and Leung, Hareton and Zhang, Sai},
journal = STVR,
volume = {23},
number = {8},
pages = {613--646},
doi = {10.1002/STVR.1475},
year = 2013,
publisher = Wiley
}

@InProceedings{HJB:CPAIOR13,
author = {Heule, Marijn J. H. and J{\"a}rvisalo, Matti and Biere, Armin},
title = {{Revisiting Hyper Binary Resolution}},
@@ -15537,6 +15594,19 @@ @inproceedings{STKS:VaMoS12

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% 2011 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

@inproceedings{NNNN:ASE11,
author = {Hoan Anh Nguyen and Tung Thanh Nguyen and Hung Viet Nguyen and Nguyen, Tien N.},
title = {{iDiff: Interaction-Based Program Differencing Tool}},
year = 2011,
isbn = {9781457716386},
publisher = IEEE,
address = Washington,
doi = {10.1109/ASE.2011.6100128},
booktitle = ASE,
pages = {572--575},
numpages = {4},
}

@misc{C11,
author = {Colbourn, Charles J},
title = {{Covering Arrays and Hash Families}},
@@ -17942,6 +18012,18 @@ @article{BSRC10

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% 2009 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

@article{GFP:Software09,
title = {{Change Analysis With Evolizer and ChangeDistiller}},
author = {Gall, Harald C. and Fluri, Beat and Pinzger, Martin},
journal = Software,
volume = {26},
number = {1},
pages = {26--33},
doi = {10.1109/MS.2009.6},
year = 2009,
publisher = IEEE,
}

@book{K09,
author = {Knuth, Donald E.},
title = {{The Art of Computer Programming, Volume 4, Fascicle 1: Bitwise Tricks \& Techniques; Binary Decision Diagrams}},
@@ -19637,6 +19719,17 @@ @inproceedings{AL08

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% 2007 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

@article{LGJ:EJIS07,
title = {{DSMDiff: A Differentiation Tool for Domain-Specific Models}},
author = {Lin, Yuehua and Gray, Jeff and Jouault, Fr{\'e}d{\'e}ric},
journal = EJIS,
volume = {16},
number = {4},
pages = {349--361},
year = 2007,
publisher=TaylorFrancis
}

@inproceedings{DGK:MILCOM07,
author = {Demers, Stephanie and Gopalakrishnan, Praveen and Kant, Latha},
booktitle = MILCOM,
@@ -19669,7 +19762,7 @@ @inproceedings{ADT:ICWE07
publisher = Springer,
address = BerlinHeidelberg,
year = 2007,
doi = {10.1007/978-3-540-73597-7\_39}
doi = {10.1007/978-3-540-73597-7_39}
}

@article{AOH:ASE07,
@@ -22413,6 +22506,28 @@ @article{BSR04

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% 2003 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

@inproceedings{WDC:ICDE03,
title = {{X-Diff: An Effective Change Detection Algorithm for XML Documents}},
author = {Wang, Yuan and DeWitt, David J. and Cai, Jin{-}yi},
booktitle = ICDE,
publisher = IEEE,
address = LosAlamitos,
doi = {10.1109/ICDE.2003.1260818},
pages = {519--530},
year = 2003,
}

@inproceedings{FPG:ICSM03,
author = {Michael Fischer and Martin Pinzger and Harald C. Gall},
title = {{Populating a Release History Database from Version Control and Bug Tracking Systems}},
booktitle = ICSM,
pages = {23},
publisher = IEEE,
address = Washington,
year = 2003,
doi = {10.1109/ICSM.2003.1235403}
}

@book{F03,
title = {{UML Distilled: A Brief Guide to the Standard Object Modeling Language (3rd Edition)}},
author = {Fowler, Martin},