Subjects: build systems; experience report; benchmark
تفاصيل العنوان
Subjects: malware classification; empirical studies; SMT solving
Subjects: Service-oriented Development; Iterative Development; Software Life Cy- cle Management