Keywords	Topic and main paper	Prerequisites	Particular interests	Status
Temporal Logic, Signal Robustness	Efficient Robust Monitoring for STL	Logic	Verification, Signal Processing
Formal modeling, network protocols, peer-to-peer computing	External project	Software verification	Modeling languages, TLA+, process mining, distributed computing
Unit testing, test quality	Fault-Proneness of Python Programs Tested By Smelled Test Code	Software engineering	Quantitative studies, fault proneness	reserved
Program repair, program analysis	Autorepairability: A New Software Quality Characteristics	Software Engineering, Procedural Programming	Metrics	reserved
Automated testing, property-based testing	Property-based Testing within ML Projects: an Empirical Study	Software Engineering, Functional Programming Testing	Repository mining, machine learning
Software visualization	Using Animations to Understand Commits	Software Engineering, Procedural Programming	Version control, program comprehension	reserved
MaxSAT, Local Search, Preprocessing	Impact of Extended Clauses on Local Search Solvers for Max-SAT	Software Engineering, Procedural Programming	Efficient Programming, Experimenting
MaxSAT, Local Search, Heuristics	Farsighted Probabilistic Sampling: A General Strategy for Boosting Local Search MaxSAT Solvers	Software Engineering, Procedural Programming	Efficient Programming, Heuristics
Minimum Pure Decision Trees, MaxSAT, Explainability	Interpretable Decision Trees	Software Engineering,Programming Paradigms, Machine Learning I	MaxSAT, Explainable AI, machine learning