Остановите войну!
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 64 matches
- 2008
- Sébastien Bardin, Philippe Herrmann:
Structural Testing of Executables. ICST 2008: 22-31 - Andrea Baruzzo, Marco Comini:
A Methodology for UML Models V&V. ICST 2008: 513-516 - Armin Beer, Stefan Mohacsi:
Efficient Test Data Generation for Variables with Complex Dependencies. ICST 2008: 3-11 - Bruce Benton:
Designing and Building a Software Test Organization. ICST 2008: 414-422 - Frédéric Boulanger, Cécile Hardebolle:
Simulation of Multi-Formalism Models with ModHel'X. ICST 2008: 318-327 - Lydie du Bousquet, Muhammad Rabee Shaheen:
Relation between Depth of Inheritance Tree and Number of Methods to Test. ICST 2008: 161-170 - Eckard Bringmann, Andreas Krämer:
Model-Based Testing of Automotive Systems. ICST 2008: 485-493 - Matt Chu, Christian Murphy, Gail E. Kaiser:
Distributed In Vivo Testing of Software Applications. ICST 2008: 509-512 - Ilinca Ciupa, Alexander Pretschner, Andreas Leitner, Manuel Oriol, Bertrand Meyer:
On the Predictability of Random Tests for Object-Oriented Software. ICST 2008: 72-81 - Ayla Dantas, Francisco Vilar Brasileiro, Walfredo Cirne:
Improving Automated Testing of Multi-threaded Software. ICST 2008: 521-524 - Khaled El-Fakih, Anton Kolomeez, Svetlana Prokopenko, Nina Yevtushenko:
Extended Finite State Machine Based Test Derivation Driven by User Defined Faults. ICST 2008: 308-317 - Eitan Farchi, Shmuel Ur:
Selective Homeworkless Reviews. ICST 2008: 404-413 - Fabiano Cutigi Ferrari, José Carlos Maldonado, Awais Rashid:
Mutation Testing for Aspect-Oriented Programs. ICST 2008: 52-61 - Vahid Garousi:
Traffic-aware Stress Testing of Distributed Real-Time Systems Based on UML Models in the Presence of Time Uncertainty. ICST 2008: 92-101 - Wolfgang Grieskamp, Nicolas Kicillof, Dave MacDonald, Alok Nandan, Keith Stobie, Fred L. Wurden:
Model-Based Quality Assurance of Windows Protocol Documentation. ICST 2008: 502-506 - Walter Hargassner, Thomas Hofer, Claus Klammer, Josef Pichler, Gernot Reisinger:
A Script-Based Testbed for Mobile Software Frameworks. ICST 2008: 448-457 - Mark Harman, Nadia Alshahwan:
Automated Session Data Repair for Web Application Regression Testing. ICST 2008: 298-307 - Bill Hasling, Helmut Goetz, Klaus Beetz:
Model Based Testing of System Requirements using UML Use Case Models. ICST 2008: 367-376 - Clemente Izurieta, James M. Bieman:
Testing Consequences of Grime Buildup in Object Oriented Design Patterns. ICST 2008: 171-179 - Matthew Kaplan, Tim Klinger, Amit M. Paradkar, Avik Sinha, Clay Williams, Cemal Yilmaz:
Less is More: A Minimalistic Approach to UML Model-Based Conformance Test Generation. ICST 2008: 82-91 - Myoung Kim, Yoonsik Cheon:
A Fitness Function to Find Feasible Sequences of Method Calls for Evolutionary Testing of Object-Oriented Programs. ICST 2008: 537-540 - Moonzoo Kim, Yunja Choi, Yunho Kim, Hotae Kim:
Pre-testing Flash Device Driver through Model Checking Techniques. ICST 2008: 475-484 - Ravidutta Kodre, Hadar Ziv, Debra J. Richardson:
Statistical Sampling Based Approach to Alleviate Log Replay Testing. ICST 2008: 533-536 - Dimitrios S. Kolovos, Richard F. Paige, Fiona Polack:
Detecting and Repairing Inconsistencies across Heterogeneous Models. ICST 2008: 356-364 - Daniel Larsson, Håkan Bertilsson, Robert Feldt:
Challenges and Solutions in Test Staff Relocations within a Software Consultancy Company. ICST 2008: 423-431 - Alexander Lechner, Ruth Breu:
Workflow Inspector - A Test Tool for Microsoft Workflow Foundation. ICST 2008: 498-501 - Raluca Lefticaru, Florentin Ipate:
Functional Search-based Testing from State Machines. ICST 2008: 525-528 - Bin Lei, Linzhang Wang, Xuandong Li:
UML Activity Diagram Based Testing of Java Concurrent Programs for Data Race and Inconsistency. ICST 2008: 200-209 - Birgitta Lindström, A. Jefferson Offutt, Sten F. Andler:
Testability of Dynamic Real-Time Systems: An Empirical Study of Constrained Execution Environment Implications. ICST 2008: 112-120 - Alessandro Marchetto, Paolo Tonella, Filippo Ricca:
State-Based Testing of Ajax Web Applications. ICST 2008: 121-130
skipping 34 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-04-25 10:20 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