241 | -- | 274 | Zhongxin Liu, Xin Xia 0001, David Lo 0001, John C. Grundy. Automatic, highly accurate app permission recommendation |
275 | -- | 312 | Sabrine Boukharata, Ali Ouni 0001, Marouane Kessentini, Salah Bouktif, Hanzhang Wang. Improving web service interfaces modularity using multi-objective optimization |
313 | -- | 0 | . Editor's note |
315 | -- | 378 | Uwe Pohlmann, Marcus Hüwe. Model-driven allocation engineering: specifying and solving constraints based on the example of automotive systems |
379 | -- | 416 | Ivan Bocic, Tevfik Bultan, Nicolás Rosner. Inductive verification of data model invariants in web applications using first-order logic |
417 | -- | 461 | Florian Angerer, Andreas Grimmer, Herbert Prähofer, Paul Grünbacher. Change impact analysis for maintenance and evolution of variable software systems |
463 | -- | 509 | Alexandros Tzannes, Stephen T. Heumann, Lamyaa Eloussi, Mohsen Vakilian, Vikram S. Adve, Michael Han. Region and effect inference for safe parallelism |