![](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
Search dblp
Full-text search
- > Home
Please enter a search query
- case-insensitive prefix search: default
e.g., sig matches "SIGIR" as well as "signal" - exact word search: append dollar sign ($) to word
e.g., graph$ matches "graph", but not "graphics" - boolean and: separate words by space
e.g., codd model - boolean or: connect words by pipe symbol (|)
e.g., graph|network
Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.
Author search results
no matches
Venue search results
no matches
Refine list
refine by author
- no options
- temporarily not available
refine by venue
- no options
- temporarily not available
refine by type
- no options
- temporarily not available
refine by access
- no options
- temporarily not available
refine by year
- no options
- temporarily not available
Publication search results
found 28 matches
- 2024
- Chris Admiraal
, Wouter Van den Brink, Marcus Gerhold
, Vadim Zaytsev
, Cristian Zubcu:
Deriving modernity signatures of codebases with static analysis. J. Syst. Softw. 211: 111973 (2024) - Anton Risberg Alaküla
, Görel Hedin
, Niklas Fors
, Adrian Pop
:
Property probes: Live exploration of program analysis results. J. Syst. Softw. 211: 111980 (2024) - 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. J. Syst. Softw. 211: 111970 (2024) - Emilio Coppa
, Alessio Izzillo:
Testing concolic execution through consistency checks. J. Syst. Softw. 211: 112001 (2024) - Souvick Das
, Novarun Deb
, Agostino Cortesi
, Nabendu Chaki
:
Extracting goal models from natural language requirement specifications. J. Syst. Softw. 211: 111981 (2024) - Fahad Al Debeyan
, Lech Madeyski
, Tracy Hall, David Bowes:
The impact of hard and easy negative training data on vulnerability prediction performance. J. Syst. Softw. 211: 112003 (2024) - Oscar Díaz
, Raul Medeiros
, Mustafa Al-Hajjaji:
How can feature usage be tracked across product variants? Implicit Feedback in Software Product Lines. J. Syst. Softw. 211: 112013 (2024) - 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. J. Syst. Softw. 211: 112010 (2024) - Damian Frölich
, L. Thomas van Binsbergen
:
iCoLa+: An extensible meta-language with support for exploratory language development. J. Syst. Softw. 211: 111979 (2024) - Pouria Golshanrad
, Fathiyeh Faghih
:
DeepCover: Advancing RNN test coverage and online error prediction using state machine extraction. J. Syst. Softw. 211: 111987 (2024) - Craig Goodwin
, Sandra I. Woolley
:
Barriers to device longevity and reuse: A vintage device empirical study. J. Syst. Softw. 211: 111991 (2024) - Qian-wen Gou
, Yunwei Dong, YuJiao Wu, Qiao Ke
:
RRGcode: Deep hierarchical search-based code generation. J. Syst. Softw. 211: 111982 (2024) - Hamideh Hajiabadi
, Christopher Gerking
, Lennart Hilbert
, Anne Koziolek:
A data-driven active learning approach to reusing ML solutions in scientific applications. J. Syst. Softw. 211: 111986 (2024) - 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. J. Syst. Softw. 211: 111978 (2024) - Faezeh Khorram
, Erwan Bousse
, Antonio Garmendia
, Jean-Marie Mottu, Gerson Sunyé
, Manuel Wimmer:
A language-parametric test coverage framework for executable domain-specific languages. J. Syst. Softw. 211: 111977 (2024) - Heiko Koziolek
, Andreas Burger, Abdulla Puthan Peedikayil:
Fast state transfer for updates and live migration of industrial controller runtimes in container orchestration systems. J. Syst. Softw. 211: 112004 (2024) - 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. J. Syst. Softw. 211: 112008 (2024) - Sophie Lathouwers
, Marieke Huisman
:
Survey of annotation generators for deductive verifiers. J. Syst. Softw. 211: 111972 (2024) - Iat Tou Leong
, Raul Barbosa
:
Translating meaning representations to behavioural interface specifications. J. Syst. Softw. 211: 112009 (2024) - 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. J. Syst. Softw. 211: 112005 (2024) - 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. J. Syst. Softw. 211: 111989 (2024) - Peixun Long
, Jianjun Zhao
:
Equivalence, identity, and unitarity checking in black-box testing of quantum programs. J. Syst. Softw. 211: 112000 (2024) - José Nuno Macedo
, Emanuel Rodrigues
, Marcos Viera
, João Saraiva
:
Zipper-based embedding of strategic attribute grammars. J. Syst. Softw. 211: 111975 (2024) - Fabio Massacci
, Aurora Papotti
, Ranindya Paramitha
:
Addressing combinatorial experiments and scarcity of subjects by provably orthogonal and crossover experimental designs. J. Syst. Softw. 211: 111990 (2024) - Jan-Niklas Meckenstock
:
Shedding light on the dark side - A systematic literature review of the issues in agile software development methodology use. J. Syst. Softw. 211: 111966 (2024) - 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. J. Syst. Softw. 211: 112007 (2024) - Federico Quin
, Danny Weyns
, Matthias Galster
, Camila Mariane C. Silva
:
A/B testing: A systematic literature review. J. Syst. Softw. 211: 112011 (2024) - Ruchi Sembey
, Rashina Hoda
, John C. Grundy
:
Emerging technologies in higher education assessment and feedback practices: A systematic literature review. J. Syst. Softw. 211: 111988 (2024)
loading more results
failed to load more results, please try again later
![](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.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
retrieved on 2024-08-18 19:50 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint