| Article ID | Journal | Published Year | Pages | File Type |
|---|---|---|---|---|
| 4972253 | Information and Software Technology | 2017 | 47 Pages |
Abstract
We recommend the users of our approach to apply an SMT solver and to resort to a metaheuristic algorithm only if the SMT solver does not terminate within reasonable time, due to the actual combination of number of requirements and dependency density.
Related Topics
Physical Sciences and Engineering
Computer Science
Human-Computer Interaction
Authors
A.M. Pitangueira, P. Tonella, A. Susi, R.S.P. Maciel, M. Barros,