Остановите войну!
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 48 matches
- 2016
- Mohammed Al-Refai, Sudipto Ghosh, Walter Cazzola:
Model-Based Regression Test Selection for Validating Runtime Adaptation of Software Systems. ICST 2016: 288-298 - Abdulmajeed Alameer, Sonal Mahajan, William G. J. Halfond:
Detecting and Localizing Internationalization Presentation Failures in Web Applications. ICST 2016: 202-212 - Paolo Arcaini, Angelo Gargantini, Paolo Vavassori:
Automatic Detection and Removal of Conformance Faults in Feature Models. ICST 2016: 102-112 - Andrea Arcuri, José Campos, Gordon Fraser:
Unit Test Generation During Software Development: EvoSuite Plugins for Maven, IntelliJ and Jenkins. ICST 2016: 401-408 - Thomas Arts, John Hughes:
How Well are Your Requirements Tested? ICST 2016: 244-254 - Maicon Bernardino, Avelino F. Zorzo, Elder M. Rodrigues:
Canopus: A Domain-Specific Language for Modeling Performance Testing. ICST 2016: 157-167 - Francesco A. Bianchi:
Testing Concurrent Software Systems. ICST 2016: 375-376 - Junjie Chen, Yanwei Bai, Dan Hao, Yingfei Xiong, Hongyu Zhang, Lu Zhang, Bing Xie:
Test Case Prioritization for Compilers: A Text-Vector Based Approach. ICST 2016: 266-277 - Yufeng Cheng, Meng Wang, Yingfei Xiong, Dan Hao, Lu Zhang:
Empirical Evaluation of Test Coverage for Functional Programs. ICST 2016: 255-265 - Mahboubeh Dadkhah:
Semantic-Based Test Case Generation. ICST 2016: 377-378 - Eduard Paul Enoiu, Adnan Causevic, Daniel Sundmark, Paul Pettersson:
A Controlled Experiment in Testing of Safety-Critical Embedded Software. ICST 2016: 1-11 - Robert Feldt, Simon M. Poulding, David Clark, Shin Yoo:
Test Set Diameter: Quantifying the Diversity of Sets of Test Cases. ICST 2016: 223-233 - Zebao Gao:
Making System User Interactive Tests Repeatable: When and What Should we Control? ICST 2016: 379-380 - Ruoyu Gao, Zhen Ming Jiang, Cornel Barna, Marin Litoiu:
A Framework to Evaluate the Effectiveness of Different Load Testing Analysis Techniques. ICST 2016: 22-32 - Vahid Garousi, Kadir Herkiloglu:
Selecting the Right Topics for Industry-Academia Collaborations in Software Testing: An Experience Report. ICST 2016: 213-222 - Maryam Abdul Ghafoor, Muhammad Suleman Mahmood, Junaid Haroon Siddiqui:
Effective Partial Order Reduction in Model Checking Database Applications. ICST 2016: 146-156 - Wided Ghardallou, Nafi Diallo, Ali Mili, Marcelo F. Frias:
Debugging without Testing. ICST 2016: 113-123 - Joakim Gustavsson:
Verification Methodology for Fully Autonomous Heavy Vehicles. ICST 2016: 381-382 - Mouna Hammoudi, Gregg Rothermel, Paolo Tonella:
Why do Record/Replay Tests of Web Applications Break? ICST 2016: 180-190 - Dominik Holling, Andreas Hofbauer, Alexander Pretschner, Matthias Gemmar:
Profiting from Unit Tests for Integration Testing. ICST 2016: 353-363 - John Hughes, Benjamin C. Pierce, Thomas Arts, Ulf Norell:
Mysteries of DropBox: Property-Based Testing of a Distributed Synchronization Service. ICST 2016: 135-145 - Chen Huo, James Clause:
Interpreting Coverage Information Using Direct and Indirect Coverage. ICST 2016: 234-243 - Emily Kowalczyk:
Modeling App Behavior from Multiple Artifacts. ICST 2016: 385-386 - Sebastian Kunze:
Symbolic Characterisation of Commonalities in Testing Software Product Lines. ICST 2016: 387-388 - Eric Larson, Anna Kirk:
Generating Evil Test Strings for Regular Expressions. ICST 2016: 309-319 - Nan Li, Anthony Escalona, Tariq Kamal:
Skyfire: Model-Based Testing with Cucumber. ICST 2016: 393-400 - Boyang Li, Christopher Vendome, Mario Linares Vásquez, Denys Poshyvanyk, Nicholas A. Kraft:
Automatically Documenting Unit Test Cases. ICST 2016: 341-352 - Daniel Liew, Cristian Cadar, Alastair F. Donaldson:
Symbooglix: A Symbolic Execution Engine for Boogie Programs. ICST 2016: 45-56 - Bruno Lima:
Automated Scenario-Based Testing of Distributed and Heterogeneous Systems. ICST 2016: 383-384 - Teng Long, Il-Chul Yoon, Adam A. Porter, Atif M. Memon, Alan Sussman:
Coordinated Collaborative Testing of Shared Software Components. ICST 2016: 364-374
skipping 18 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-29 18:00 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