


default search action
Journal of Systems and Software, Volume 153
Volume 153, July 2019
- Man Zhang

, Shaukat Ali, Tao Yue
:
Uncertainty-wise test case generation and minimization for Cyber-Physical Systems. 1-21 - Lennon C. Chaves

, Hussama Ibrahim Ismail, Iury Valente de Bessa
, Lucas C. Cordeiro
, Eddie Batista de Lima Filho:
Verifying fragility in digital systems with uncertainties using DSVerifier v2.0. 22-43
- Lulu Wang, Jingyue Li

, Bixin Li:
Erratum to "Tracking runtime concurrent dependences in java threads using thread control profiling" [The Journal of Systems and Software 148 (2019) 116-131]. 44
- Huanchao Chen, Yuan Huang, Zhiyong Liu, Xiangping Chen

, Fan Zhou, Xiaonan Luo:
Automatically detecting the scopes of source code comments. 45-63
- María Alpuente

, Demis Ballis, Julia Sapiña
:
Static correction of Maude programs with assertions. 64-85
- Dipesh Pradhan

, Shuai Wang
, Shaukat Ali
, Tao Yue
, Marius Liaaen:
Employing rule mining and multi-objective search for dynamic test case prioritization. 86-104
- Stefan Feldmann, Konstantin Kernschmidt, Manuel Wimmer, Birgit Vogel-Heuser

:
Managing inter-model inconsistencies in model-based systems engineering: Application in automated production systems engineering. 105-134 - Yang Wang, Daniel Graziotin

, Stefan Kriso, Stefan Wagner
:
Communication channels in safety analysis: An industrial exploratory case study. 135-151
- Fábio Petrillo

, Yann-Gaël Guéhéneuc, Marcelo Pimenta, Carla Maria Dal Sasso Freitas
, Foutse Khomh:
Swarm debugging: The collective intelligence on interactive debugging. 152-174
- Christoph Rieger, Tim A. Majchrzak

:
Towards the definitive evaluation framework for cross-platform app development approaches. 175-199 - Asli Sari

, Ayse Tosun
, Gülfem Isiklar Alptekin
:
A systematic literature review on crowdsourcing in software engineering. 200-219 - Ignacio Lagartos, Jose Manuel Redondo

, Francisco Ortin
:
Efficient runtime metaprogramming services for Java. 220-237
- Bohan Liu, Guoping Rong

, Liming Dong, He Zhang, Danni Chen, Tiange Chen, Yuyan Chen, Tiantian Zhang:
What are the factors affecting the handover process in open source development? 238-254

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.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














