Treffer: Automated workarounds from Java program specifications based on SAT solving
Title:
Automated workarounds from Java program specifications based on SAT solving
Authors:
Uva, MarceloAff1, cor1, Ponzio, PabloAff1, Aff3, cor2, Regis, GermánAff1, cor3, Aguirre, NazarenoAff1, Aff3, cor4, Frias, Marcelo F.Aff2, Aff3, cor5
Source:
International Journal on Software Tools for Technology Transfer. :1-24
Database:
Springer Nature Journals