default search action

combined dblp search
author search
venue search
publication search

ask others

Science of Computer Programming, Volume 163

> Home > Journals > Science of Computer Programming

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Volume 163, October 2018

- view
  authority control:
- export record
  dblp key:
  - journals/scp/WangJXLGMML18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/WangJXLGMML18
Jue Wang, Yanyan Jiang, Chang Xu, Qiwei Li, Tianxiao Gu, Jun Ma, Xiaoxing Ma, Jian Lu:
AATT+: Effectively manifesting concurrency bugs in Android apps. 1-18
- view
  authority control:
- export record
  dblp key:
  - journals/scp/KimC18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/KimC18
Dongwoo Kim, Yunja Choi:
A two-step approach for pattern-based API-call constraint checking. 19-41
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/scp/MartiniBB18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/MartiniBB18
Antonio Martini, Terese Besker, Jan Bosch:
Technical Debt tracking: Current state of practice: A survey and multiple case study in 15 large organizations. 42-61
- view
  authority control:
- export record
  dblp key:
  - journals/scp/WilleBCSBS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/WilleBCSBS18
David Wille, Önder Babur, Loek Cleophas, Christoph Seidl, Mark van den Brand, Ina Schaefer:
Improving custom-tailored variability mining using outlier and cluster detection. 62-84
- view
  authority control:
- export record
  dblp key:
  - journals/scp/Gomez-AbajoGLM18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/Gomez-AbajoGLM18
Pablo Gómez-Abajo, Esther Guerra, Juan de Lara, Mercedes G. Merayo:
A tool for domain-independent model mutation. 85-92
- view
  authority control:
- export record
  dblp key:
  - journals/scp/TamrawiK18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/TamrawiK18
Ahmed Tamrawi, Suresh C. Kothari:
Projected control graph for computing relevant program behaviors. 93-114
- view
  authority control:
- export record
  dblp key:
  - journals/scp/SongJB18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/SongJB18
Jiyoung Song, Eunkyoung Jee, Doo-Hwan Bae:
FBDTester 2.0: Automated test sequence generation for FBD programs with internal memory states. 115-137
- view
  authority control:
- export record
  dblp key:
  - journals/scp/PotaninM18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/PotaninM18
Alex Potanin, Gail C. Murphy:
Preface for the Special Issue on the 23rd Asia-Pacific Software Engineering Conference (APSEC) 2016. 138
- view
  authority control:
- export record
  dblp key:
  - journals/scp/MauroNSY18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/MauroNSY18
Jacopo Mauro, Michael Nieke, Christoph Seidl, Ingrid Chieh Yu:
Context-aware reconfiguration in evolving software product lines. 139-159
- view
  authority control:
- export record
  dblp key:
  - journals/scp/FurdaFB18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/FurdaFB18
Andrei Furda, Colin J. Fidge, Alistair Barros:
A practical approach for detecting multi-tenancy data interference. 160-173
- view
  authority control:
- export record
  dblp key:
  - journals/scp/GomesGHA18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/GomesGHA18
Pedro de Carvalho Gomes, Dilian Gurov, Marieke Huisman, Cyrille Artho:
Specification and verification of synchronization with condition variables. 174-189

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.