-
13261
-
13262
-
13263
-
13264
-
13265
-
13266
A concept analysis inspired greedy algorithm for test suite minimization.
I publikationen Software engineering notes.Artikel -
13267
-
13268
-
13269
Invariants and state in testing and formal methods.
I publikationen Software engineering notes.Artikel -
13270
Symbolic path simulation in path-sensitive dataflow analysis.
I publikationen Software engineering notes.Artikel