International Conference on Quality Software

Adaptive random testing through dynamic partitioning

Tsong Yueh Chen, Robert Merkel, Peter Kok-Yiu Wong et al. · 2004 · 95 citations

Computing, Computer Engineering, Computer Systems +9

A first step towards formal verification of security policy properties for RBAC

Michael Drouineaud, Maksym Bortin, Paolo Torrini et al. · 2004 · 27 citations

Computing, Computer Science, Computer Systems +17

Towards a functional size measure for object-oriented systems from requirements specifications

Nelly Condorí-Fernández, Silvia Abrahão, Óscar Pastor · 2004 · 22 citations

Engineering, Computer Science, Requirements Engineering +16

Symbolic execution of program paths involving pointer structure variables

Jian Zhang · 2004 · 21 citations

Computing, Computer Science, Algorithms +10

Machine-learning techniques for software product quality assessment

Hakim Lounis, L. Ait-Mehedine · 2004 · 18 citations

Computing, Computer Science, Machine Learning +11