Sökning: "Phi Diep Bui"
Hittade 1 avhandling innehållade orden Phi Diep Bui.
1. On Solving String Constraints
Sammanfattning : Software systems are deeply involved in diverse human activities as everyone uses a variety of software systems on a daily basis. It is essential to guarantee that software systems all work correctly. Two popular methods for finding failures of software systems are testing and model checking. LÄS MER
Resultatsidor:
1