![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Journal of Systems and Software, Volume 211
Volume 211, 2024
- Jan-Niklas Meckenstock
:
Shedding light on the dark side - A systematic literature review of the issues in agile software development methodology use. 111966 - Jinfu Chen
, Jingyi Chen, Lili Zhu, Chengying Mao, Qihao Bao, Rubing Huang
:
L′OP-ART: A linear-time adaptive random testing algorithm for object-oriented programs. 111970 - Sophie Lathouwers
, Marieke Huisman:
Survey of annotation generators for deductive verifiers. 111972 - Chris Admiraal
, Wouter Van den Brink, Marcus Gerhold
, Vadim Zaytsev
, Cristian Zubcu:
Deriving modernity signatures of codebases with static analysis. 111973 - José Nuno Macedo
, Emanuel Rodrigues
, Marcos Viera
, João Saraiva
:
Zipper-based embedding of strategic attribute grammars. 111975 - Faezeh Khorram
, Erwan Bousse
, Antonio Garmendia
, Jean-Marie Mottu, Gerson Sunyé
, Manuel Wimmer:
A language-parametric test coverage framework for executable domain-specific languages. 111977 - Rogardt Heldal
, Ngoc-Thanh Nguyen, Ana Moreira
, Patricia Lago
, Leticia Duboc, Stefanie Betz
, Vlad C. Coroama, Birgit Penzenstadler
, Jari Porras
, Rafael Capilla, Ian Brooks
, Shola Oyedeji, Colin C. Venters:
Sustainability competencies and skills in software engineering: An industry perspective. 111978 - Damian Frölich
, L. Thomas van Binsbergen:
iCoLa+: An extensible meta-language with support for exploratory language development. 111979 - Anton Risberg Alaküla
, Görel Hedin
, Niklas Fors
, Adrian Pop
:
Property probes: Live exploration of program analysis results. 111980 - Souvick Das
, Novarun Deb
, Agostino Cortesi
, Nabendu Chaki
:
Extracting goal models from natural language requirement specifications. 111981 - Qian-wen Gou
, Yunwei Dong, YuJiao Wu, Qiao Ke
:
RRGcode: Deep hierarchical search-based code generation. 111982 - Hamideh Hajiabadi
, Christopher Gerking
, Lennart Hilbert
, Anne Koziolek:
A data-driven active learning approach to reusing ML solutions in scientific applications. 111986 - Pouria Golshanrad
, Fathiyeh Faghih
:
DeepCover: Advancing RNN test coverage and online error prediction using state machine extraction. 111987 - Ruchi Sembey
, Rashina Hoda
, John C. Grundy
:
Emerging technologies in higher education assessment and feedback practices: A systematic literature review. 111988 - Hezhen Liu
, Chengqiang Huang, Ke Sun
, Jiacheng Yin, Xiaoyu Wu, Jin Wang, Qunli Zhang, Yang Zheng
, Vivek Nigam, Feng Liu, Joseph Sifakis:
Design for dependability - State of the art and trends. 111989 - Fabio Massacci
, Aurora Papotti
, Ranindya Paramitha
:
Addressing combinatorial experiments and scarcity of subjects by provably orthogonal and crossover experimental designs. 111990 - Craig Goodwin, Sandra I. Woolley
:
Barriers to device longevity and reuse: A vintage device empirical study. 111991 - Peixun Long
, Jianjun Zhao
:
Equivalence, identity, and unitarity checking in black-box testing of quantum programs. 112000 - Emilio Coppa
, Alessio Izzillo:
Testing concolic execution through consistency checks. 112001 - Fahad Al Debeyan
, Lech Madeyski
, Tracy Hall, David Bowes:
The impact of hard and easy negative training data on vulnerability prediction performance. 112003 - Heiko Koziolek
, Andreas Burger, Abdulla Puthan Peedikayil:
Fast state transfer for updates and live migration of industrial controller runtimes in container orchestration systems. 112004 - Jin Wei Lim
, Thiam Kian Chiew
, Moon Ting Su
, Simying Ong
, Hema Subramaniam
, Mumtaz Begum Mustafa
, Yin Kia Chiam
:
Test case information extraction from requirements specifications using NLP-based unified boilerplate approach. 112005 - Kristof Meixner
, Kevin Feichtinger
, Hafiyyan Sayyid Fadhlillah
, Sandra Greiner
, Hannes Marcher
, Rick Rabiser
, Stefan Biffl
:
Variability modeling of products, processes, and resources in cyber-physical production systems engineering. 112007 - Michel Krämer
, Pascal Bormann, Hendrik M. Würz, Kevin Kocon, Tobias Frechen, Jonas Schmid:
A cloud-based data processing and visualization pipeline for the fibre roll-out in Germany. 112008 - Iat Tou Leong
, Raul Barbosa
:
Translating meaning representations to behavioural interface specifications. 112009 - Francisco Henrique Cerdeira Ferreira
, Elisa Yumi Nakagawa
, Antonia Bertolino
, Francesca Lonetti
, Vânia de Oliveira Neves
, Rodrigo Pereira dos Santos
:
A framework for the design of fault-tolerant systems-of-systems. 112010 - Federico Quin
, Danny Weyns
, Matthias Galster
, Camila Mariane C. Silva:
A/B testing: A systematic literature review. 112011 - Oscar Díaz
, Raul Medeiros
, Mustafa Al-Hajjaji:
How can feature usage be tracked across product variants? Implicit Feedback in Software Product Lines. 112013
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
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.