Repository: TUBS-ISF/BibTags
Pull request #24: Ek
Author: login: ekuiter
Created: 2025-04-09T14:51:15Z | Merged: 2025-04-10T15:10:14Z



Diff:
diff --git a/literature/MYabrv.bib b/literature/MYabrv.bib
index 72c3c10..bd1909a 100644
--- a/literature/MYabrv.bib
+++ b/literature/MYabrv.bib
@@ -176,6 +176,7 @@ @String{CVSM
 @String{DSPL = "Proc.\ Int'l Workshop on Dynamic Software Product Lines (DSPL)"}
 @String{Eclipse = "Proc.\ Workshop on Eclipse Technology eXchange (ETX)"}
 @String{EIWAS = "Proc.\ European Interactive Workshop on Aspects in Software (EIWAS)"}
+@String{EWSPT = "Proc.\ European Workshop on Software Process Technology (EWSPT)"}
 @String{FIDE = "Proc.\ Workshop on Formal Integrated Development Environment (F-IDE)"}
 @String{FMSPLE = "Proc.\ Int'l Workshop on Formal Methods and Analysis in Software Product Line Engineering (FMSPLE)"}
 @String{FMTea = "Proc.\ Int'l Workshop and Tutorial on Formal Methods Teaching (FMTea)"}
@@ -238,6 +239,7 @@ @String{VLSI
 @String{VR = "Proc.\ IEEE Virtual Reality Workshop (VR)"}
 @String{WASP = "Proc.\ Latin American Workshop on Aspect-Oriented Software Development: Advanced Modularization Techniques (LA-WASP)"}
 @String{WEA = "Proc.\ Int'l Workshop on Experimental and Efficient Algorithms (WEA)"} % now known as SEA
+@String{WODES = "Proc.\ Int'l Workshop on Discrete Event Systems (WODES)"}
 
 % symposium
 @String{APLAS = "Proc.\ Asian Symposium on Programming Languages and Systems (APLAS)"}
@@ -359,6 +361,7 @@ @String{JRCS
 @String{JSAT = "J.\ Satisfiability, Boolean Modeling and Computation"}
 @String{JSERD = "J.\ Software Engineering Research and Development (JSERD)"}
 @String{JSEP = "J.\ Software: Evolution and Process"}
+@String{JSI = "Int'l J.\ Software and Informatics"}
 @String{JSS = "J.\ Systems and Software (JSS)"}
 @String{JUCS = "J.\ Universal Computer Science (J.UCS)"}
 @String{JWIS = "Int'l J.\ Web Information Systems"}
@@ -417,6 +420,7 @@ @String{ACM-AWL
 @String{AddisonWesleyLongman = "Addison-Wesley"}
 @String{AIRCC = "AIRCC"}
 @String{arXiv = "Cornell University Library"}
+@String{APA = "American Psychological Association"}
 @String{ButterworthHeinemann = "Butterworth-Heinemann"}
 @String{CambridgeUP = "Cambridge University Press"}
 @String{CEPIS = "CEPIS"}
diff --git a/literature/MYshort.bib b/literature/MYshort.bib
index 174ce8a..75e2fe3 100644
--- a/literature/MYshort.bib
+++ b/literature/MYshort.bib
@@ -178,6 +178,7 @@ @String{CVSM
 @String{DSPL = "DSPL"}
 @String{Eclipse = "Eclipse"}
 @String{EIWAS = "EIWAS"}
+@String{EWSPT = "EWSPT"}
 @String{FIDE = "F-IDE"}
 @String{FMSPLE = "FMSPLE"}
 @String{FMTea = "FMTea"}
@@ -239,6 +240,7 @@ @String{ViSPLE
 @String{VR = "VR"}
 @String{WASP = "LA-WASP"}
 @String{WEA = "WEA"}
+@String{WODES = "WODES"}
 
 % symposium
 @String{APLAS = "APLAS"}
@@ -359,6 +361,7 @@ @String{JRCS
 @String{JSAT = "JSAT"}
 @String{JSERD = "JSERD"}
 @String{JSEP = "JSEP"}
+@String{JSI = "Int. J. Softw. Inform."}
 @String{JSS = "JSS"}
 @String{JUCS = "J.UCS"}
 @String{JWIS = "J. Web Inf. Syst."}
@@ -418,6 +421,7 @@ @String{ACM-AWL
 @String{AddisonWesleyLongman = "Addison-Wesley"}
 @String{AIRCC = "AIRCC"}
 @String{arXiv = "Cornell University Library"}
+@String{APA = "APA"}
 @String{ButterworthHeinemann = "Butterworth-Heinemann"}
 @String{CambridgeUP = "Cambridge University Press"}
 @String{CEPIS = "CEPIS"}
diff --git a/literature/literature.bib b/literature/literature.bib
index 715517f..c9c4e84 100644
--- a/literature/literature.bib
+++ b/literature/literature.bib
@@ -28,6 +28,7 @@ @String{tudresden
 @String{unidublin = "Trinity College Dublin"}
 @String{unielpaso = "University of Texas at El Paso, Department of Computer Science"}
 @String{unierlangen = "University of Erlangen"}
+@String{unilausanne = "\'Ecole polytechnique f\'ed\'erale de Lausanne"}
 @String{uniflorida = "University of Central Florida"}
 @String{unihelsinki = "University of Helsinki, Department of Computer Science"}
 @String{uniiowa = "Iowa State University"}
@@ -197,6 +198,7 @@ @article{KST+:TOSEM25
 	title     = {{How Configurable is the Linux Kernel? Analyzing Two Decades of Feature-Model History}},
 	journal   = tosem,
 	note      = toappear,
+	doi       = {10.1145/3729423},
 	publisher = acm,
 	address   = ny,
 	year      = 2025,
@@ -537,6 +539,17 @@ @inproceedings{SLT:ASE24
 	typo3tags = {FMCounting},
 }
 
+@inproceedings{JS:ConfWS24,
+	missing   = noaddress,
+	author    = {Jost, Florian and Sinz, Carsten},
+	title     = {{Challenges in Automotive Hardware-Software Co-Configuration}},
+	booktitle = confws,
+	location  = {Girona, Spain},
+	publisher = ceur-ws,
+	month     = sep,
+	year      = 2024,
+}
+
 @inproceedings{SHS+:MODEVAR24b,
 	author    = {Sundermann, Chico and He{\ss}, Tobias and Sundermann, Rahel and Kuiter, Elias and Krieter, Sebastian and Th{\"{u}}m, Thomas},
 	title     = {{Generating Feature Models with UVL's Full Expressiveness}},
@@ -2173,6 +2186,16 @@ @techreport{BDD+:TR23
 	ektags    = {compositionality, knowledge compilation},
 }
 
+@techreport{BFP:TR23,
+	author    = {Biere, Armin and Fleury, Mathias and Pollitt, Florian},
+	title     = {{CaDiCaL\_vivinst, IsaSAT, Gimsatul, Kissat, and TabularaSAT Entering the SAT Competition 2023}},
+	number    = {Report B-2023-1},
+	pages     = {14--15},
+	institution = unihelsinki,
+	year      = 2023,
+	ektags    = {satisfiability},
+}
+
 @techreport{KJ:TR23,
 	author    = {Tuukka Korhonen and Matti Järvisalo},
 	title     = {{SharpSAT-TD in Model Counting Competitions 2021-2023}},
@@ -2305,6 +2328,17 @@ @article{CPQ+:FiP22
 	issn      = {1664-1078},
 }
 
+@article{OAH+:IST22,
+	author    = {Raphael Pereira {de Oliveira} and Paulo Anselmo da Mota Silveira Neto and Qi Hong Chen and Eduardo Santana {de Almeida} and Iftekhar Ahmed},
+	title     = {{Different, Really! A Comparison of Highly-Configurable Systems and Single Systems}},
+	journal   = ist,
+	volume    = {152},
+	pages     = {107035},
+	doi       = {10.1016/j.infsof.2022.107035},
+	year      = 2022,
+	issn      = {0950-5849},
+}
+
 @article{CCEW:JFP22,
 	author    = {Campora, John Peter and Chen, Sheng and Erwig, Martin and Walkingshaw, Eric},
 	title     = {{Migrating Gradual Types}},
@@ -3247,6 +3281,19 @@ @article{PMD:POPL21
 	numpages  = {29},
 }
 
+@article{KS:AE21,
+	author    = {Rebecca J. Kreitzer and Jennie Sweet{-}Cushman},
+	title     = {{Evaluating Student Evaluations of Teaching: A Review of Measurement and Equity Bias in Sets and Recommendations for Ethical Reform}},
+	journal   = {Academic Ethics},
+	volume    = {20},
+	number    = {1},
+	pages     = {73--84},
+	doi       = {10.1007/s10805-021-09400-w},
+	publisher = springer,
+	year      = 2021,
+	ektags    = {teaching},
+}
+
 @article{FHI+:AIJ21,
 	author    = {Nils Froleyks and Marijn Heule and Markus Iser and Matti Järvisalo and Martin Suda},
 	title     = {{SAT Competition 2020}},
@@ -8505,6 +8552,17 @@ @article{VSA+:IST17
 	pbtags    = {feature traceability},
 }
 
+@article{dORS+:JSS17,
+	author    = {Raphael Pereira de Oliveira and Alcemir Rodrigues Santos and Eduardo Santana de Almeida and Gecynalda Soares da Silva Gomes},
+	title     = {{Evaluating Lehman's Laws of Software Evolution Within Software Product Lines Industrial Projects}},
+	journal   = jss,
+	volume    = {131},
+	pages     = {347--365},
+	doi       = {10.1016/j.jss.2016.07.038},
+	year      = 2017,
+	issn      = {0164-1212},
+}
+
 @article{HBP+:JSS17,
 	author    = {Alireza Haghighatkhah and Ahmad Banijamali and Olli{-}Pekka Pakanen and Markku Oivo and Pasi Kuvaja},
 	title     = {{Automotive Software Engineering: A Systematic Mapping Study}},
@@ -12531,6 +12589,17 @@ @article{MMCA:IST14
 	tttags    = {SPL Testing,Survey,PRG},
 }
 
+@article{GG:JSEP14,
+	author    = {Godfrey, Michael W. and German, Daniel M.},
+	title     = {{On the Evolution of Lehman's Laws}},
+	journal   = jsep,
+	volume    = {26},
+	number    = {7},
+	pages     = {613--619},
+	doi       = {10.1002/smr.1636},
+	year      = 2014,
+}
+
 @article{NH:JSEP14,
 	author    = {Nadi, Sarah and Holt, Ric},
 	title     = {{The Linux Kernel: A Case Study of Build System Variability}},
@@ -13070,6 +13139,17 @@ @inproceedings{TDS+:ATC14
 	tttags    = {SPL Analysis,Sampling},
 }
 
+@inproceedings{SVZ:CAiSE14,
+	author    = {Skoulis, Ioannis and Vassiliadis, Panos and Zarras, Apostolos},
+	title     = {{Open-Source Databases: Within, Outside, Or Beyond Lehman's Laws of Software Evolution?}},
+	booktitle = caise,
+	pages     = {379--393},
+	publisher = springer,
+	address   = cham,
+	year      = 2014,
+	isbn      = {978-3-319-07881-6},
+}
+
 @inproceedings{LHF+:CEC14,
 	author    = {Roberto Erick Lopez{-}Herrejon and Javier Ferrer and Francisco Chicano and Alexander Egyed and Enrique Alba},
 	title     = {{Comparative Analysis of Classical Multi-Objective Evolutionary Algorithms and Seeding Strategies for Pairwise Testing of Software Product Lines}},
@@ -14333,6 +14413,16 @@ @article{WPX+:JSEP13
 	keywords  = {feature location, human study, cognitive process, conceptual framework},
 }
 
+@article{YM:JSI13,
+	author    = {Yu, Liguo and Mishra, Alok},
+	title     = {{An Empirical Study of Lehman's Law on Software Quality Evolution}},
+	journal   = jsi,
+	volume    = {7},
+	number    = {3},
+	pages     = {469--481},
+	year      = 2013,
+}
+
 @article{LWB+:JSS13,
 	author    = {Philip Langer and Manuel Wimmer and Petra Brosch and Markus Herrmannsd{\"{o}}rfer and Martina Seidl and Konrad Wieland and Gerti Kappel},
 	title     = {{A Posteriori Operation Detection in Evolving Software Models}},
@@ -14606,6 +14696,17 @@ @inproceedings{STSJ:Informatik13
 	isbn      = {978-3-88579-614-5},
 }
 
+@inproceedings{FBGR:ConfWS13,
+	author    = {Felfernig, Alexander and Benavides, David and Galindo, Jose A. and Reinfrank, Florian},
+	title     = {{Towards Anomaly Explanation in Feature Models}},
+	booktitle = confws,
+	pages     = {117--124},
+	location  = {Vienna, Austria},
+	publisher = ceur-ws,
+	month     = aug,
+	year      = 2013,
+}
+
 @inproceedings{KMKB:ESECFSE13,
 	author    = {Kim, Chang Hwan Peter and Marinov, Darko and Khurshid, Sarfraz and Batory, Don and Souto, Sabrina and Barros, Paulo and D'Amorim, Marcelo},
 	title     = {{SPLat: Lightweight Dynamic Analysis for Reducing Combinatorics in Testing Configurable Systems}},
@@ -15463,6 +15564,17 @@ @inproceedings{KK:QoSA13
 	keywords  = {software product line, reverse engineering, component architecture},
 }
 
+@inproceedings{IST:SAT13,
+	author    = {Iser, Markus and Sinz, Carsten and Taghdiri, Mana},
+	title     = {{Minimizing Models for Tseitin-Encoded SAT Instances}},
+	booktitle = sat,
+	pages     = {224--232},
+	publisher = springer,
+	address   = berlinheidelberg,
+	year      = 2013,
+	ektags    = {CNF transformation},
+}
+
 @inproceedings{HS:SC13,
 	author    = {Haeri, Seyed Hossein and Schupp, Sibylle},
 	title     = {{Reusable Components for Lightweight Mechanisation of Programming Languages}},
@@ -16142,6 +16254,18 @@ @article{SLC12
 	tttags    = {OOP},
 }
 
+@article{FdSB:PE12,
+	author    = {Flavio S. Fogliatto and Giovani J.C. {da Silveira} and Denis Borenstein},
+	title     = {{The Mass Customization Decade: An Updated Review of the Literature}},
+	journal   = {Production Economics},
+	volume    = {138},
+	number    = {1},
+	pages     = {14--25},
+	doi       = {10.1016/j.ijpe.2012.03.002},
+	year      = 2012,
+	issn      = {0925-5273},
+}
+
 @article{ASL+12,
 	author    = {Sven Apel and Sergiy Kolesnikov and J{\"o}rg Liebig and Christian K{\"a}stner and Martin Kuhlemann and Thomas Leich},
 	title     = {{Access Control in Feature-Oriented Programming}},
@@ -17157,6 +17281,18 @@ @inproceedings{HMZ:RAMiCS12
 	tttags    = {Feature Orientation,Preprocessors,SPL Formalization},
 }
 
+@inproceedings{XHHL:SAT12,
+	author    = {Xu, Lin and Hutter, Frank and Hoos, Holger and Leyton-Brown, Kevin},
+	title     = {{Evaluating Component Solver Contributions to Portfolio-Based Algorithm Selectors}},
+	booktitle = sat,
+	pages     = {228--241},
+	doi       = {10.1007/978-3-642-31612-8_18},
+	publisher = springer,
+	address   = berlinheidelberg,
+	year      = 2012,
+	ektags    = {satisfiability},
+}
+
 @inproceedings{BMP:SERENE12,
 	author    = {ter Beek, Maurice H. and Muccini, Henry and Pelliccione, Patrizio},
 	title     = {{Assume-Guarantee Testing of Evolving Software Product Line Architectures}},
@@ -19362,6 +19498,17 @@ @article{MC:SCP10
 	year      = 2010,
 }
 
+@article{BB:SiL10,
+	author    = {Bubeck, Uwe and B{\"u}ning, Hans Kleine},
+	title     = {{The Power of Auxiliary Variables for Propositional and Quantified Boolean Formulas}},
+	journal   = {Studies in Logic},
+	volume    = {3},
+	number    = {3},
+	pages     = {1--23},
+	year      = 2010,
+	ektags    = {preprocessing},
+}
+
 @article{SJS:TC10,
 	author    = {Stojkovic, Suzana and Jankovic, Dragan and Stankovic, Radomir S},
 	title     = {{An Improved Algorithm for the Construction of Decision Diagrams by Rearranging and Partitioning the Input Cube Set}},
@@ -20139,6 +20286,17 @@ @inproceedings{WDS+:SSIRI10
 	tttags    = {SWT},
 }
 
+@inproceedings{JBH:TACAS10,
+	author    = {J{\"a}rvisalo, Matti and Biere, Armin and Heule, Marijn},
+	title     = {{Blocked Clause Elimination}},
+	booktitle = tacas,
+	pages     = {129--144},
+	publisher = springer,
+	address   = berlinheidelberg,
+	year      = 2010,
+	ektags    = {preprocessing},
+}
+
 @inproceedings{APS+:VaMoS10,
 	author    = {Abele, Andreas and Papadopoulos, Yiannis and Servat, David and T{\"o}rngren, Martin and Weber, Matthias},
 	title     = {{The CVM Framework-A Prototype Tool for Compositional Variability Management}},
@@ -20285,6 +20443,14 @@ @techreport{SB:TR10
 	tttags    = {Kconfig},
 }
 
+@techreport{SGK:TR10,
+	author    = {Philippe Suter and Vijay Ganesh and Viktor Kuncak},
+	title     = {{Nenofar: A Negation Normal Form SMT Solver}},
+	institution = unilausanne,
+	year      = 2010,
+	ektags    = {satisfiability, CNF transformation},
+}
+
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% 2009 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 
 @article{KFBA:SQJ09,
@@ -22070,6 +22236,17 @@ @inproceedings{HM:WCRE08
 	pbtags    = {tree differencing},
 }
 
+@inproceedings{CESS:WODES08,
+	author    = {Claessen, Koen and Een, Niklas and Sheeran, Mary and Sorensson, Niklas},
+	title     = {{SAT-Solving in Practice}},
+	booktitle = wodes,
+	pages     = {61--67},
+	doi       = {10.1109/WODES.2008.4605923},
+	publisher = ieee,
+	year      = 2008,
+	ektags    = {satisfiability},
+}
+
 @mastersthesis{Thuem08,
 	author    = {Thomas Th\"{u}m},
 	title     = {{Reasoning About Feature Model Edits}},
@@ -22232,6 +22409,16 @@ @article{LGJ:EJIS07
 	year      = 2007,
 }
 
+@article{JSS:IM07,
+	author    = {Jiao, Jianxin and Simpson, Timothy W and Siddique, Zahed},
+	title     = {{Product Family Design and Platform-Based Product Development: A State-of-the-Art Review}},
+	journal   = {Intelligent Manufacturing},
+	volume    = {18},
+	pages     = {5--29},
+	publisher = springer,
+	year      = 2007,
+}
+
 @article{PGM+:TSE07,
 	author    = {Denys {Poshyvanyk} and Yann-Gael {Gueheneuc} and Andrian {Marcus} and Giuliano {Antoniol} and Vaclav {Rajlich}},
 	title     = {{Feature Location Using Probabilistic Ranking of Methods Based on Execution Scenarios and Information Retrieval}},
@@ -23446,6 +23633,19 @@ @inproceedings{ALS:ICSE06
 	tttags    = {Aspect Orientation,Feature Orientation,Mixins},
 }
 
+@inproceedings{B:ICSE06,
+	author    = {Broy, Manfred},
+	title     = {{Challenges in Automotive Software Engineering}},
+	booktitle = icse,
+	pages     = {33--42},
+	location  = {Shanghai, China},
+	doi       = {10.1145/1134285.1134292},
+	publisher = acm,
+	address   = ny,
+	year      = 2006,
+	isbn      = {1595933751},
+}
+
 @inproceedings{LBL:ICSE06,
 	author    = {Liu, Jia and Batory, Don and Lengauer, Christian},
 	title     = {{Feature Oriented Refactoring of Legacy Applications}},
@@ -24352,6 +24552,18 @@ @inproceedings{T05
 	tttags    = {},
 }
 
+@inproceedings{vdML:SPLC05,
+	author    = {von der Ma{\ss}en, Thomas and Lichter, Horst},
+	title     = {{Determining the Variation Degree of Feature Models}},
+	booktitle = splc,
+	pages     = {82--88},
+	publisher = springer,
+	address   = berlinheidelberg,
+	year      = 2005,
+	ektags    = {model counting},
+	isbn      = {978-3-540-32064-7},
+}
+
 @inproceedings{FK:VSTTE05,
 	author    = {Fisler, Kathi and Krishnamurthi, Shriram},
 	title     = {{Decomposing Verification Around End-User Features}},
@@ -24738,6 +24950,18 @@ @inproceedings{GHN+:CAV04
 	year      = 2004,
 }
 
+@inproceedings{TBW:CP04,
+	author    = {Thiffault, Christian and Bacchus, Fahiem and Walsh, Toby},
+	title     = {{Solving Non-Clausal Formulas With DPLL Search}},
+	booktitle = cp,
+	pages     = {663--678},
+	publisher = springer,
+	address   = berlinheidelberg,
+	year      = 2004,
+	ektags    = {satisfiability, CNF transformation},
+	isbn      = {978-3-540-30201-8},
+}
+
 @inproceedings{WHHS:DAC04,
 	author    = {Wang, Chao and Jin, HoonSang and Hachtel, Gary D. and Somenzi, Fabio},
 	title     = {{Refining the SAT Decision Ordering for Bounded Model Checking}},
@@ -27450,6 +27674,17 @@ @inproceedings{LRW+:METRICS97
 	ektags    = {complexity},
 }
 
+@inproceedings{R:METRICS97,
+	missing   = noaddress,
+	author    = {Rosenberg, J.},
+	title     = {{Some Misconceptions About Lines of Code}},
+	booktitle = metrics,
+	pages     = {137--142},
+	doi       = {10.1109/METRIC.1997.637174},
+	publisher = ieee,
+	year      = 1997,
+}
+
 @inproceedings{N97,
 	author    = {Necula, George C.},
 	title     = {{Proof-Carrying Code}},
@@ -27605,6 +27840,18 @@ @inproceedings{HDB:EURODAC96
 	year      = 1996,
 }
 
+@inproceedings{L:EWSPT96,
+	missing   = noaddress,
+	author    = {Lehman, Meir M},
+	title     = {{Laws of Software Evolution Revisited}},
+	booktitle = ewspt,
+	pages     = {108--124},
+	doi       = {10.1007/BFb0017737},
+	publisher = springer,
+	year      = 1996,
+	ektags    = {complexity},
+}
+
 @inproceedings{S:FMCAD96,
 	author    = {Sentovich, Ellen M},
 	title     = {{A Brief Study of BDD Package Performance}},
@@ -27731,6 +27978,17 @@ @article{Sh95
 	tttags    = {Hypothesis Testing},
 }
 
+@article{W:Computer95,
+	author    = {Wirth, Niklaus},
+	title     = {{A Plea for Lean Software}},
+	journal   = computer,
+	volume    = {28},
+	number    = {2},
+	pages     = {64--68},
+	doi       = {10.1109/2.348001},
+	year      = 1995,
+}
+
 @article{WS:JSMRP95,
 	author    = {Wilde, Norman and Scully, Michael C.},
 	title     = {{Software Reconnaissance: Mapping Program Features to Code}},
@@ -29404,6 +29662,20 @@ @article{F67
 	tttags    = {Theorem Proving,Design by Contract},
 }
 
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% 1964 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+
+@article{IMM+:EP64,
+	author    = {Isaacson, Robert L and McKeachie, Wilbert J and Milholland, John E and Lin, Yi G and Hofeller, Margaret and Zinn, Karl L},
+	title     = {{Dimensions of Student Evaluations of Teaching}},
+	journal   = {Educational Psychology},
+	volume    = {55},
+	number    = {6},
+	pages     = {344},
+	publisher = apa,
+	year      = 1964,
+	ektags    = {teaching},
+}
+
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% 1962 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 
 @article{DLL:CACM62,


Reviews:
user: login: pmbittner
state: CHANGES_REQUESTED
author_association: CONTRIBUTOR
submitted_at: 2025-04-10T09:00:55Z
user: login: ekuiter
state: COMMENTED
author_association: MEMBER
submitted_at: 2025-04-10T09:45:59Z
user: login: pmbittner
state: APPROVED
author_association: CONTRIBUTOR
submitted_at: 2025-04-10T15:09:52Z

Review comments:
diff_hunk: @@ -28,6 +28,7 @@ @String{tudresden
 @String{unidublin = "Trinity College Dublin"}
 @String{unielpaso = "University of Texas at El Paso, Department of Computer Science"}
 @String{unierlangen = "University of Erlangen"}
+@String{unilausanne = "École polytechnique fédérale de Lausanne"}
path: literature/literature.bib
user: login: pmbittner
body: Do these unicode characters work on all systems? Replace with TeX directives, as we do for umlauts for example?
created_at: 2025-04-10T08:51:49Z
author_association: CONTRIBUTOR
diff_hunk: @@ -537,6 +539,16 @@ @inproceedings{SLT:ASE24
 	typo3tags = {FMCounting},
 }
 
+@inproceedings{JS:ConfWS24,
+	author    = {Jost, Florian and Sinz, Carsten},
+	title     = {{Challenges in Automotive Hardware-Software Co-Configuration}},
+	booktitle = confws,
+	location  = {Girona, Spain},
+	publisher = ceur-ws,
+	month     = sep,
+	year      = 2024,
path: literature/literature.bib
user: login: pmbittner
body: address missing
created_at: 2025-04-10T08:52:20Z
author_association: CONTRIBUTOR
diff_hunk: @@ -2305,6 +2327,17 @@ @article{CPQ+:FiP22
 	issn      = {1664-1078},
 }
 
+@article{dOAH+:IST22,
path: literature/literature.bib
user: login: pmbittner
body: I think Bibtags keys are currently very inconsistent with names such as "de Foo" and "von Bar". :thinking: Not your fault but maybe this would make for a good new issue.

And I have not seen this style for a key yet. I thibk we always used either D or F for "de Foo".
created_at: 2025-04-10T08:54:35Z
author_association: CONTRIBUTOR
diff_hunk: @@ -17157,6 +17280,18 @@ @inproceedings{HMZ:RAMiCS12
 	tttags    = {Feature Orientation,Preprocessors,SPL Formalization},
 }
 
+@inproceedings{XHHL:12,
path: literature/literature.bib
user: login: pmbittner
body: XHHL:SAT12?
created_at: 2025-04-10T08:56:10Z
author_association: CONTRIBUTOR
diff_hunk: @@ -27731,6 +27975,17 @@ @article{Sh95
 	tttags    = {Hypothesis Testing},
 }
 
+@article{W:C95,
path: literature/literature.bib
user: login: pmbittner
body: W:Computer95?
created_at: 2025-04-10T08:59:44Z
author_association: CONTRIBUTOR
diff_hunk: @@ -27605,6 +27838,17 @@ @inproceedings{HDB:EURODAC96
 	year      = 1996,
 }
 
+@inproceedings{L:EWSPT96,
+	author    = {Lehman, Meir M},
+	title     = {{Laws of Software Evolution Revisited}},
+	booktitle = ewspt,
+	pages     = {108--124},
+	doi       = {10.1007/BFb0017737},
+	publisher = springer,
+	year      = 1996,
+	ektags    = {complexity},
path: literature/literature.bib
user: login: pmbittner
body: address missing
created_at: 2025-04-10T09:00:06Z
author_association: CONTRIBUTOR
diff_hunk: @@ -27450,6 +27673,16 @@ @inproceedings{LRW+:METRICS97
 	ektags    = {complexity},
 }
 
+@inproceedings{R:METRICS97,
+	author    = {Rosenberg, J.},
+	title     = {{Some Misconceptions About Lines of Code}},
+	booktitle = metrics,
+	pages     = {137--142},
+	doi       = {10.1109/METRIC.1997.637174},
+	publisher = ieee,
+	year      = 1997,
path: literature/literature.bib
user: login: pmbittner
body: address missing
created_at: 2025-04-10T09:00:23Z
author_association: CONTRIBUTOR
diff_hunk: @@ -24738,6 +24949,18 @@ @inproceedings{GHN+:CAV04
 	year      = 2004,
 }
 
+@inproceedings{TBW:CP04,
+	author    = {Thiffault, Christian and Bacchus, Fahiem and Walsh, Toby},
+	title     = {{Solving Non-clausal Formulas With DPLL Search}},
path: literature/literature.bib
user: login: pmbittner
body: Clausal? I am unsure
created_at: 2025-04-10T09:00:40Z
author_association: CONTRIBUTOR
diff_hunk: @@ -24738,6 +24949,18 @@ @inproceedings{GHN+:CAV04
 	year      = 2004,
 }
 
+@inproceedings{TBW:CP04,
+	author    = {Thiffault, Christian and Bacchus, Fahiem and Walsh, Toby},
+	title     = {{Solving Non-clausal Formulas With DPLL Search}},
path: literature/literature.bib
user: login: ekuiter
body: good catch
created_at: 2025-04-10T09:45:58Z
author_association: MEMBER

PR comments:
user: login: pmbittner
created_at: 2025-04-10T08:49:58Z
body: Given the many `fix` commits, should we squash upon merge? :thinking:
author_association: CONTRIBUTOR
user: login: ekuiter
created_at: 2025-04-10T09:40:02Z
body: > Given the many `fix` commits, should we squash upon merge? 🤔

how does that work? (and what is the benefit?)
author_association: MEMBER
user: login: pmbittner
created_at: 2025-04-10T09:48:39Z
body: ![image](https://github.com/user-attachments/assets/496a78c5-e3b5-4103-8ed9-a26bce5ea170)

author_association: CONTRIBUTOR
user: login: ekuiter
created_at: 2025-04-10T12:40:29Z
body: can you approve?
author_association: MEMBER