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.