![](https://dblp.uni-trier.de./img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de./img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de./img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de./img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de./img/search.dark.16x16.png)
default search action
12th SSBSE 2020: Bari, Italy
- Aldeida Aleti, Annibale Panichella:
Search-Based Software Engineering - 12th International Symposium, SSBSE 2020, Bari, Italy, October 7-8, 2020, Proceedings. Lecture Notes in Computer Science 12420, Springer 2020, ISBN 978-3-030-59761-0
Keynote
- Shiva Nejati:
Search-Based Software Testing for Formal Software Verification - and Vice Versa. 3-6
Research Papers
- Stephan Lukasczyk
, Florian Kroiß, Gordon Fraser:
Automated Unit Test Generation for Python. 9-24 - Shaukat Ali
, Paolo Arcaini
, Tao Yue
:
Do Quality Indicators Prefer Particular Multi-objective Search Algorithms in Search-Based Software Engineering? 25-41 - Pouria Derakhshanfar
, Xavier Devroey
, Andy Zaidman
:
It Is Not Only About Control Dependent Nodes: Basic Block Coverage for Search-Based Crash Reproduction. 42-57 - Adina Deiner, Christoph Frädrich, Gordon Fraser, Sophia Geserer, Niklas Zantner:
Search-Based Testing for Scratch Programs. 58-72 - Dimitri Racordon, Aurélien Coet, Emmanouela Stachtiari, Didier Buchs:
Solving Schedulability as a Search Space Problem with Decision Diagrams. 73-87 - Wael Kessentini
, Vahid Alizadeh
:
Transforming Interactive Multi-objective Metamodel/Model Co-evolution into Mono-objective Search via Designer's Preferences Extraction. 88-104 - Martin Eberlein, Yannic Noller
, Thomas Vogel, Lars Grunske
:
Evolutionary Grammar-Based Fuzzing. 105-120 - Björn Evers, Pouria Derakhshanfar
, Xavier Devroey
, Andy Zaidman
:
Commonality-Driven Unit Test Generation. 121-136 - Urjoshi Sinha
, Mikaela Cashman
, Myra B. Cohen:
Using a Genetic Algorithm to Optimize Configurations in a Data-Driven Application. 137-152 - Nasser M. Albunian, Gordon Fraser, Dirk Sudholt:
Measuring and Maintaining Population Diversity in Search-Based Unit Test Generation. 153-168
New Ideas and Emerging Results
- Erik M. Fredericks, Jared M. Moore:
Search@Home: A Commercial Off-the-Shelf Environment for Investigating Optimization Problems. 171-177
Replications and Negative Results
- Afnan A. Al-Subaihin, Federica Sarro
:
Exploring the Use of Genetic Algorithm Clustering for Mobile App Categorisation. 181-187 - Mingyi Lim, Giovani Guizzo
, Justyna Petke
:
Impact of Test Suite Coverage on Overfitting in Genetic Improvement of Software. 188-203 - Sebastian Müller, Thomas Vogel, Lars Grunske
:
Bet and Run for Test Case Generation. 204-219 - Srujana Bollina, Gregory Gay:
Bytecode-Based Multiple Condition Coverage: An Initial Investigation. 220-236
Challenge Solutions
- Mitchell Olsthoorn
, Pouria Derakhshanfar
, Xavier Devroey
:
An Application of Model Seeding to Search-Based Unit Test Generation for Gson. 239-245 - Hussein K. Almulla
, Gregory Gay:
Generating Diverse Test Suites for Gson Through Adaptive Fitness Function Selection. 246-252
Challenge Cases
- Gregory Gay, René Just:
Defects4J as a Challenge Case for the Search-Based Software Engineering Community. 255-261
![](https://dblp.uni-trier.de./img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.