![[ACM Press the 40th International Conference - Gothenburg, Sweden (2018.05.27-2018.06.03)] Proceedings of the 40th International Conference on Software Engineering - ICSE '18 - Efficient sampling of SAT solutions for testing]()
[ACM Press the 40th International Conference - Gothenburg, Sweden (2018.05.27-2018.06.03)] Proceedings of the 40th International Conference on Software Engineering - ICSE '18 - Efficient sampling of SAT solutions for testingDutra, Rafael; Laeufer, Kevin; Bachrach, Jonathan; Sen, Koushik · 2018