Software Quality Research (SQUARE)

Søgeresultater

  • 2017

    Variability-Specific Abstraction Refinement for Family-Based Model Checking

    Dimovski, A. & Wasowski, A., 23 mar. 2017, Fundamental Approaches to Software Engineering - 20th International Conference, FASE 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017: Fundamental Approaches to Software Engineering, FASE 2017. Huisman, M. & Rubin, J. (red.). Berlin, Heidelberg: Springer, s. 406-423 17 s. (Lecture Notes in Computer Science, Bind 10202).

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

    Åben adgang
    Fil
  • Variability through the Eyes of the Programmer

    Melo, J., Batista Narcizo, F., Hansen, D. W., Brabrand, C. & Wasowski, A., 1 maj 2017, 2017 IEEE/ACM 25th International Conference on Program Comprehension (ICPC). IEEE, s. 34-44 11 s.

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

    Åben adgang
    Fil