Остановите войну!
for scientists:
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 68 matches
- 2017
- Bernhard K. Aichernig, Richard Schumi:
Statistical Model Checking Meets Property-Based Testing. ICST 2017: 390-400 - Abdullah Al-Nayeem, Krzysztof Ostrowski, Sebastian Pueblas, Christophe Restif, Sai Zhang:
Information Needs for Validating Evolving Software Systems: An Exploratory Study at Google. ICST 2017: 544-545 - Sultan S. Al-Qahtani:
Enhancing Trust - Software Vulnerability Analysis Framework. ICST 2017: 563-564 - Sultan S. Al-Qahtani, Ellis E. Eghan, Juergen Rilling:
Recovering Semantic Traceability Links between APIs and Security Vulnerabilities: An Ontological Modeling Approach. ICST 2017: 80-91 - Ibrahim Alagöz, Thomas Herpel, Reinhard German:
A Selection Method for Black Box Regression Testing with a Statistically Defined Quality Level. ICST 2017: 114-125 - Emil Alégroth, Shinsuke Matsuki, Tanja E. J. Vos, Kinji Akemine:
Overview of the ICST International Software Testing Contest. ICST 2017: 550-551 - Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene:
NuSeen: A Tool Framework for the NuSMV Model Checker. ICST 2017: 476-483 - Andrea Arcuri, Gordon Fraser, René Just:
Private API Access and Functional Mocking in Automated Unit Test Generation. ICST 2017: 126-137 - Foundjem Armstrong, Foutse Khomh, Bram Adams:
Broadcast vs. Unicast Review Technology: Does It Matter? ICST 2017: 219-229 - Cyrille Artho, Quentin Gros, Guillaume Rousset, Kazuaki Banzai, Lei Ma, Takashi Kitamura, Masami Hagiya, Yoshinori Tanabe, Mitsuharu Yamamoto:
Model-Based API Testing of Apache ZooKeeper. ICST 2017: 288-298 - Abraham Chan, Stefan Winter, Habib Saissi, Karthik Pattabiraman, Neeraj Suri:
IPA: Error Propagation Analysis of Multi-Threaded Programs Using Likely Invariants. ICST 2017: 184-195 - Thierry Titcheu Chekam:
Automated and Scalable Mutation Testing. ICST 2017: 559-560 - Junjie Chen, Yanwei Bai, Dan Hao, Lingming Zhang, Lu Zhang, Bing Xie:
How Do Assertions Impact Coverage-Based Test-Suite Reduction? ICST 2017: 418-423 - Zheng Cheng, Massimo Tisi:
Incremental Deductive Verification for Relational Model Transformations. ICST 2017: 379-389 - Hayes Converse, Oswaldo Olivo, Sarfraz Khurshid:
Non-Semantics-Preserving Transformations for Higher-Coverage Test Generation Using Symbolic Execution. ICST 2017: 241-252 - Priyanka Darke, Bharti Chimdyalwar, Avriti Chauhan, R. Venkatesh:
Efficient Safety Proofs for Industry-Scale Code Using Abstractions and Bounded Model Checking. ICST 2017: 468-475 - Rashid Darwish, Lynnie Nakyanzi Gwosuta, Richard Torkar:
A Controlled Experiment on Coverage Maximization of Automated Model-Based Software Test Cases in the Automotive Industry. ICST 2017: 546-547 - Xavier Devroey, Gilles Perrouin, Mike Papadakis, Axel Legay, Pierre-Yves Schobbens, Patrick Heymans:
Automata Language Equivalence vs. Simulations for Model-Based Mutant Equivalence: An Empirical Evaluation. ICST 2017: 424-429 - Ricardo J. Dias, Carla Ferreira, Jan Fiedor, João M. Lourenço, Ales Smrcka, Diogo G. Sousa, Tomás Vojnar:
Verifying Concurrent Programs Using Contracts. ICST 2017: 196-206 - Anurag Dwarakanath, Dipin Era, Aditya Priyadarshi, Neville Dubash, Sanjay Podder:
Accelerating Test Automation through a Domain Specific Language. ICST 2017: 460-467 - Eduard Paul Enoiu, Daniel Sundmark, Adnan Causevic, Paul Pettersson:
A Comparative Study of Manual and Automated Testing for Industrial Control Software. ICST 2017: 412-417 - Amin Milani Fard, Ali Mesbah:
JavaScript: The (Un)Covered Parts. ICST 2017: 230-240 - Mattia Fazzini, Eduardo Noronha de Andrade Freitas, Shauvik Roy Choudhary, Alessandro Orso:
Barista: A Technique for Recording, Encoding, and Running Platform Independent Android Tests. ICST 2017: 149-160 - Daniel Flemström, Thomas Gustafsson, Avenir Kobetski:
SAGA Toolbox: Interactive Testing of Guarded Assertions. ICST 2017: 516-523 - Daniel S. Fowler, Madeline Cheah, Siraj Ahmed Shaikh, Jeremy W. Bryans:
Towards a Testbed for Automotive Cybersecurity. ICST 2017: 540-541 - Alessio Gambi, Alessandra Gorla, Andreas Zeller:
O!Snap: Cost-Efficient Testing in the Cloud. ICST 2017: 454-459 - Gregory Gay:
The Fitness Function for the Job: Search-Based Generation of Test Suites That Detect Real Faults. ICST 2017: 345-355 - Mojdeh Golagha:
A Framework for Failure Diagnosis. ICST 2017: 561-562 - Rahul Gopinath, Carlos Jensen, Alex Groce:
The Theory of Composite Faults. ICST 2017: 47-57 - Yun Guo:
Localizing and Fixing Faults in SQL Predicates. ICST 2017: 555-556
skipping 38 more matches
loading more results
failed to load more results, please try again later
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-05-31 14:53 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