The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for TAP with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1973-1986 (15) 1987-1992 (15) 1993-1995 (19) 1996-1997 (29) 1998 (16) 1999 (15) 2000 (19) 2001 (28) 2002 (34) 2003 (35) 2004 (57) 2005 (69) 2006 (83) 2007 (107) 2008 (102) 2009 (70) 2010 (53) 2011 (47) 2012 (61) 2013 (65) 2014 (80) 2015 (86) 2016 (79) 2017 (93) 2018 (81) 2019 (84) 2020 (83) 2021 (80) 2022 (79) 2023 (91) 2024 (16)
Publication types (Num. hits)
article(610) book(1) incollection(2) inproceedings(1155) phdthesis(6) proceedings(17)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 508 occurrences of 411 keywords

Results
Found 1804 publication records. Showing 1791 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
111Debashis Bhattacharya Instruction-Driven Wake-Up Mechanisms for Snoopy TAP Controller. Search on Bibsonomy VTS The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
82Kevin Borders, Atul Prakash 0001 Web tap: detecting covert web traffic. Search on Bibsonomy CCS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF spyware detection, intrusion detection, anomaly detection, HTTP, covert channels, tunnels
76Duck Gun Park, Jin Kyung Kim, Jin Bong Sung, Jung Hwan Hwang, Chang Hee Hyung, Sung Weon Kang TAP: touch-and-play. Search on Bibsonomy CHI The full citation details ... 2006 DBLP  DOI  BibTeX  RDF intrabody communication, touch-and-play, context aware service, tap
72Aaron J. Gordon, Raphael A. Finkel Handling Timing Errors in Distributed Programs. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1988 DBLP  DOI  BibTeX  RDF postmortem debugger, history-keeping mechanism, distributed processing, software tools, program testing, directed graph, directed graphs, distributed programs, interprocess communication, TAP, timing errors, timing graph
67Bo Shen 0003 From 8-tap DCT to 4-tap integer-transform for mpeg to H.264/AVC transcoding. Search on Bibsonomy ICIP The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
63Leilei Li, Jonathon A. Chambers A novel adaptive leakage factor scheme for enhancement of a variable tap-length learning algorithm. Search on Bibsonomy ICASSP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
63Yu Gong, C. F. N. Cowan An LMS style variable tap-length algorithm for structure adaptation. Search on Bibsonomy IEEE Trans. Signal Process. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
63Subhasish Mitra, Edward J. McCluskey, Samy Makar Design for Testability and Testing of IEEE 1149.1 Tap Controller. Search on Bibsonomy VTS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
56Thomas Költringer, Michaela Ngo Van, Thomas Grechenig Game controller text entry with alphabetic and multi-tap selection keyboards. Search on Bibsonomy CHI Extended Abstracts The full citation details ... 2007 DBLP  DOI  BibTeX  RDF game pad, selection keyboard, text entry, game controller, joystick, multi-tap, alphabetic
56Bart Vermeulen, Tom Waayers, Sjaak Bakker Multi-TAP Controller Architecture for Digital System Chips. Search on Bibsonomy J. Electron. Test. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF system-chips, IEEE-1149.1, software-debug, design-for-debug, multi-TAP
53Yingbin Liang, Gerhard Kramer, H. Vincent Poor, Shlomo Shamai Recent results on compound wire-tap channels. Search on Bibsonomy PIMRC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
53Cecilia Carbonelli, Satish Vedantam, Urbashi Mitra Sparse Channel Estimation with Zero Tap Detection. Search on Bibsonomy IEEE Trans. Wirel. Commun. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
53Gideon Kutz, Dan Raphaeli Determination of Tap Positions for Sparse Equalizers. Search on Bibsonomy IEEE Trans. Commun. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
53Eunchul Yoon, Jan Hansen, Arogyaswami Paulraj Space-Frequency Precoding with Space-Tap Correlation Information at the Transmitter. Search on Bibsonomy IEEE Trans. Commun. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
53Eunchul Yoon, Jan Hansen, Arogyaswami Paulraj Space-Frequency Precoding with Space-Tap Correlation Information at the Transmitter. Search on Bibsonomy IEEE Trans. Commun. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
53Andy W. H. Khong, Patrick A. Naylor Selective-Tap Adaptive Filtering With Performance Analysis for Identification of Time-Varying Systems. Search on Bibsonomy IEEE Trans. Speech Audio Process. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
53Kenji Masui, Youki Kadobayashi N-TAP: A Platform of Large-Scale Distributed Measurement for Overlay Network Applications. Search on Bibsonomy SAINT Workshops The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
53Yingwu Zhu, Yiming Hu TAP: A Novel Tunneling Approach for Anonymity in Structured P2P Systems. Search on Bibsonomy ICPP The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
52Kent Lyons, Thad Starner, Daniel Plaisted, James Fusia, Amanda Lyons, Aaron Drew, E. W. Looney Twiddler typing: one-handed chording text entry for mobile phones. Search on Bibsonomy CHI The full citation details ... 2004 DBLP  DOI  BibTeX  RDF mobile phones, text entry, chording, keypad input, multi-tap
48Timucin Ozugur, Behçet Sarikaya Combining layer 2-layer 3 paging for wireless LANs. Search on Bibsonomy IEEE Trans. Wirel. Commun. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
48Kohzoh Yoshino, Kentaro Takagi, Taishin Nomura, Shunsuke Sato, Mitsuo Tonoike MEG responses during rhythmic finger tapping in humans to phasic stimulation and their interpretation based on neural mechanisms. Search on Bibsonomy Biol. Cybern. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
48Mohammad Eshghi, Joanne DeGroat A parallel binary structured LMS algorithm for transversal adaptive filters. Search on Bibsonomy J. VLSI Signal Process. The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
46Tze-Yun Sung, Yaw-Shih Shieh, Chun-Wang Yu, Hsi-Chin Hsin Low-Power Multiplierless 2-D DWT and IDWT Architectures Using 4-tap Daubechies Filters. Search on Bibsonomy PDCAT The full citation details ... 2006 DBLP  DOI  BibTeX  RDF DWT/IDWT, image coding/decoding system, 4-tap Daubechies filters, multiplierless, low-power, JPEG-2000
43Yonggang Zhang, Ning Li 0001, Jonathon A. Chambers, Ali H. Sayed Steady-State Performance Analysis of a Variable Tap-Length LMS Algorithm. Search on Bibsonomy IEEE Trans. Signal Process. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
43Karyn Moffatt, Sandra Yuen, Joanna McGrenere Hover or tap?: supporting pen-based menu navigation for older adults. Search on Bibsonomy ASSETS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF tablet pc, inclusive design, universal usability, target acquisition, pen-based interaction, older users
43Sami Ronkainen, Jonna Häkkilä, Saana Kaleva, Ashley Colley, Jukka Linjama Tap input as an embedded interaction method for mobile devices. Search on Bibsonomy TEI The full citation details ... 2007 DBLP  DOI  BibTeX  RDF mobile devices, user studies, gesture input, haptic user interfaces
43Li-Hsun Chen, Oscal T.-C. Chen A hardware-efficient FIR architecture with input-data and tap folding. Search on Bibsonomy ISCAS (1) The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
43Zhiwei Lin 0001, A. Benjamin Premkumar, A. S. Madhukumar Tap selection based MMSE equalization for high data rate UWB communication systems. Search on Bibsonomy ISCAS (6) The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
43Jae Hong Park, Jung-Min Choi, Min Ho Kim, Jong-Wha Chong An Efficient Equalizer Architecture Using Tap Allocation Memory for HDTV Channel. Search on Bibsonomy IWSOC The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
42Davide Menin, Andrea Bandiziol, Werner Grollitsch, Roberto Nonis, Pierpaolo Palestri Design and Simulation of a 12 Gb/s Transceiver With 8-Tap FFE, Offset-Compensated Samplers and Fully Adaptive 1-Tap Speculative/3-Tap DFE and Sampling Phase for MIPI A-PHY Applications. Search on Bibsonomy IEEE Trans. Circuits Syst. II Express Briefs The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
42Dylan D'Ampolo, Andrea Bandiziol, Davide Menin, Werner Grollitsch, Roberto Nonis, Pierpaolo Palestri Automotive-Range Characterization of a 11 Gb/s Transceiver for Automotive Microcontroller Applications with 8-Tap FFE, 1-Tap Unrolled/3-Tap DFE and Offset-Compensated Samplers. Search on Bibsonomy APCCAS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
42Alessio Bellino Enhancing Pinch-Drag-Flick Paradigm with Two New Gestures: Two-Finger-Tap for Tablets and Tap&Tap for Smartphones. Search on Bibsonomy INTERACT (3) The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
42Jacob O. Wobbrock, Duen Horng Chau, Brad A. Myers An alternative to push, press, and tap-tap-tap: gesturing on an isometric joystick for mobile phone text entry. Search on Bibsonomy CHI The full citation details ... 2007 DBLP  DOI  BibTeX  RDF T9, mobile phones, gestures, pointing, smartphones, text input, unistrokes, EdgeWrite, isometric joysticks, multitap
42Christine Szentgyorgyi, Edward Lank Five-key text input using rhythmic mappings. Search on Bibsonomy ICMI The full citation details ... 2007 DBLP  DOI  BibTeX  RDF one-handed text entry, rhythmic tapping, touch, multi-tap
42Nathan Green, Jan Krüger, Chirag Faldu, Robert St. Amant A reduced QWERTY keyboard for mobile text entry. Search on Bibsonomy CHI Extended Abstracts The full citation details ... 2004 DBLP  DOI  BibTeX  RDF input devices, text entry, keyboards, multi-tap
42Valery I. Korzhik, Viktor Yakovlev, Alexander Sinuk Achievability of the Key-Capacity in a Scenario of Key Sharing. Search on Bibsonomy MMM-ACNS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Wire-tap channel, public discussion, key capacity, privacy amplification, Renyi entropy
39Jie Tang 0001, Jimeng Sun 0001, Chi Wang 0001, Zi Yang Social influence analysis in large-scale networks. Search on Bibsonomy KDD The full citation details ... 2009 DBLP  DOI  BibTeX  RDF social influence analysis, topical analysis propagation, social networks, large-scale network
39Duck Gun Park, Jin Kyung Kim, Jin Bong Sung, Jung Hwan Hwang, Chang Hee Hyung, Sung Weon Kang Context Aware Service Using Intra-body Communication. Search on Bibsonomy PerCom The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
39Andrew Crossan, Roderick Murray-Smith, Stephen A. Brewster, James Kelly, Bojan Musizza Gait phase effects in mobile interaction. Search on Bibsonomy CHI Extended Abstracts The full citation details ... 2005 DBLP  DOI  BibTeX  RDF gait effects, instrumented usability, rhythmic interaction, mobile devices, accelerometer, pen-based interfaces, targeting
39M. Fakhrul Islam, Baikunth Nath, Joarder Kamruzzaman Reactive Load Control of Parallel Transformer Operations Using Neural Networks. Search on Bibsonomy IEA/AIE The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
38Juan Pablo Hourcade, Theresa R. Berkel Tap or touch?: pen-based selection accuracy for the young and old. Search on Bibsonomy CHI Extended Abstracts The full citation details ... 2006 DBLP  DOI  BibTeX  RDF PDA, accuracy, handheld, touch, pen, stylus, tap, PocketPC
37Barbara Endicott-Popovsky, Brian Chee, Deborah A. Frincke Calibration Testing Of Network Tap Devices. (PDF / PS) Search on Bibsonomy IFIP Int. Conf. Digital Forensics The full citation details ... 2007 DBLP  DOI  BibTeX  RDF aggregating tap, baseline testing, calibration, Network forensics
35Virgile Prevosto, Cristina Seceleanu (eds.) Tests and Proofs - 17th International Conference, TAP 2023, Leicester, UK, July 18-19, 2023, Proceedings Search on Bibsonomy TAP The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
35Myriam Clouet, Thibaud Antignac, Mathilde Arnaud, Julien Signoles Context Specification Language for Formally Verifying Consent Properties on Models and Code. Search on Bibsonomy TAP The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
35Thibaut Benajmin, Julien Signoles Abstract Interpretation of Recursive Logic Definitions for Efficient Runtime Assertion Checking. Search on Bibsonomy TAP The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
35Martin Gogolla, Lars Hamann Proving Properties of Operation Contracts with Test Scenarios. Search on Bibsonomy TAP The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
35Nico Naus, Freek Verbeek, Marc Schoolderman, Binoy Ravindran Low-Level Reachability Analysis Based on Formal Logic. Search on Bibsonomy TAP The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
35Matteo Cimini Testing Languages with a Languages-as-Databases Approach. Search on Bibsonomy TAP The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
35Kais Klai, Mohamed Taha Bennani, Jaime Arias 0001, Jörg Desel, Hanen Ochi Symbolic Observation Graph-Based Generation of Test Paths. Search on Bibsonomy TAP The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
35Megan Strauss, Stefan Mitsch Slow Down, Move Over: A Case Study in Formal Verification, Refinement, and Testing of the Responsibility-Sensitive Safety Model for Self-Driving Cars. Search on Bibsonomy TAP The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
35Aurélie Hurault, João Marques-Silva 0001 Certified Logic-Based Explainable AI - The Case of Monotonic Classifiers. Search on Bibsonomy TAP The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
35David Monniaux, Léo Gourdin, Sylvain Boulmé, Olivier Lebeltel Testing a Formally Verified Compiler. Search on Bibsonomy TAP The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
35Daniel Engel, Freek Verbeek, Binoy Ravindran BIRD: A Binary Intermediate Representation for Formally Verified Decompilation of X86-64 Binaries. Search on Bibsonomy TAP The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
35Bernhard Beckert, Reiner Hähnle (eds.) Tests and Proofs - 2nd International Conference, TAP 2008, Prato, Italy, April 9-11, 2008. Proceedings Search on Bibsonomy TAP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
35Elaine J. Weyuker, Thomas J. Ostrand What Can Fault Prediction Do for YOU?. Search on Bibsonomy TAP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
35Andriy Dunets, Gerhard Schellhorn, Wolfgang Reif Bounded Relational Analysis of Free Data Types. Search on Bibsonomy TAP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF SAT checking, model checking, verification, formal methods, theorem proving, First-order logic, abstract data types
35Andrea Calvagna, Angelo Gargantini A Logic-Based Approach to Combinatorial Testing with Constraints. Search on Bibsonomy TAP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
35Michael A. Hennell The First Thirty Years: Experience with Software Verification. Search on Bibsonomy TAP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
35Thomas Ball, Orna Kupferman Vacuity in Testing. Search on Bibsonomy TAP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
35Helga Velroyen, Philipp Rümmer Non-termination Checking for Imperative Programs. Search on Bibsonomy TAP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
35Jonathan de Halleux, Nikolai Tillmann Parameterized Unit Testing with Pex. Search on Bibsonomy TAP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
35Koen Claessen, Hans Svensson Finding Counter Examples in Induction Proofs. Search on Bibsonomy TAP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
35Nikolai Tillmann, Jonathan de Halleux Pex-White Box Test Generation for .NET. Search on Bibsonomy TAP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
35Christian Engel 0002, Christoph Gladisch, Vladimir Klebanov, Philipp Rümmer Integrating Verification and Testing of Object-Oriented Software. Search on Bibsonomy TAP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
35Zining Cao Equivalence Checking for a Finite Higher Order pi-Calculus. Search on Bibsonomy TAP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
35Matthieu Carlier, Catherine Dubois Functional Testing in the Focal Environment. Search on Bibsonomy TAP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
35Pietro Ferrara 0001 Static Analysis Via Abstract Interpretation of the Happens-Before Memory Model. Search on Bibsonomy TAP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Static Analysis, Abstract Interpretation, Memory Model, Multithreaded Programs
35Yuri Gurevich, Bertrand Meyer 0001 (eds.) Tests and Proofs - 1st International Conference, TAP 2007, Zurich, Switzerland, February 12-13, 2007. Revised Papers Search on Bibsonomy TAP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
35Bernhard Beckert, Christoph Gladisch White-Box Testing by Combining Deduction-Based Specification Extraction and Black-Box Testing. Search on Bibsonomy TAP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
35Christian Engel 0002, Reiner Hähnle Generating Unit Tests from Formal Proofs. Search on Bibsonomy TAP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF theorem proving, program verification, model-based testing, unit testing, symbolic execution, test coverage, white-box testing
35Achim D. Brucker, Burkhart Wolff Test-Sequence Generation with Hol-TestGen with an Application to Firewall Testing. Search on Bibsonomy TAP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF symbolic test case generations, theorem proving, computer security, black box testing, Isabelle/HOL, test sequence generation
35Jonathan S. Ostroff, Faraz Ahmadi Torshizi Testable Requirements and Specifications. Search on Bibsonomy TAP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
35Pascale Le Gall, Nicolas Rapin, Assia Touil Symbolic Execution Techniques for Refinement Testing. Search on Bibsonomy TAP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF symbolic transition system, refinement, conformance testing, symbolic execution
35Yannis Smaragdakis, Christoph Csallner Combining Static and Dynamic Reasoning for Bug Detection. Search on Bibsonomy TAP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
35Lisa Ling Liu, Bertrand Meyer 0001, Bernd Schoeller Using Contracts and Boolean Queries to Improve the Quality of Automatic Test Generation. Search on Bibsonomy TAP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
35Ralph-Johan Back, Johannes Eriksson, Magnus Myreen Testing and Verifying Invariant Based Programs in the SOCOS Environment. Search on Bibsonomy TAP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Invariant based programming, static program verification, state charts, verification conditions
35Angelo Gargantini Using Model Checking to Generate Fault Detecting Tests. Search on Bibsonomy TAP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF test, model based testing, Abstract State Machines, fault based testing
35Qiao Haiyan Testing and Proving Distributed Algorithms in Constructive Type Theory. Search on Bibsonomy TAP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
35Manoranjan Satpathy, Michael J. Butler, Michael Leuschel, S. Ramesh 0002 Automatic Testing from Formal Specifications. Search on Bibsonomy TAP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Model Based Testing, B-Method, Non-determinism
35Philipp Rümmer, Muhammad Ali Shah Proving Programs Incorrect Using a Sequent Calculus for Java Dynamic Logic. Search on Bibsonomy TAP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Disproving, Testing, Program verification, Program logics
34Laura Kovács, Karl Meinke (eds.) Tests and Proofs - 16th International Conference, TAP 2022, Held as Part of STAF 2022, Nantes, France, July 5, 2022, Proceedings Search on Bibsonomy TAP@STAF The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
34Simon Dierl, Falk Howar Reach on Register Automata via History Independence. Search on Bibsonomy TAP@STAF The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
34Maryam Mouzarani, Ali Kamali, Sara Baradaran, Mahdi Heidari A Unit-Based Symbolic Execution Method for Detecting Heap Overflow Vulnerability in Executable Codes. Search on Bibsonomy TAP@STAF The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
34Yousra Lembachar, Ryan Rusich, Iulian Neamtiu, Gianfranco Ciardo Bddl: A Type System for Binary Decision Diagrams. Search on Bibsonomy TAP@STAF The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
34Yutaka Nagashima Definitional Quantifiers Realise Semantic Reasoning for Proof by Induction. Search on Bibsonomy TAP@STAF The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
34Daniela Kaufmann, Armin Biere Fuzzing and Delta Debugging And-Inverter Graph Verification Tools. Search on Bibsonomy TAP@STAF The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
34Marie-Christine Jakobs Automatic Test-Case Generation with CoVeriTest (Extended Abstract). Search on Bibsonomy TAP@STAF The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
34Diego Marmsoler, Achim D. Brucker Conformance Testing of Formal Semantics Using Grammar-Based Fuzzing. Search on Bibsonomy TAP@STAF The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
34Frédéric Loulergue, Franz Wotawa (eds.) Tests and Proofs - 15th International Conference, TAP 2021, Held as Part of STAF 2021, Virtual Event, June 21-22, 2021, Proceedings Search on Bibsonomy TAP@STAF The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
34Amirfarhad Nilizadeh, Gary T. Leavens, Corina S. Pasareanu Using a Guided Fuzzer and Preconditions to Achieve Branch Coverage with Valid Inputs. Search on Bibsonomy TAP@STAF The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
34Dominik Diner, Gordon Fraser 0001, Sebastian Schweikl, Andreas Stahlbauer Generating Timed UI Tests from Counterexamples. Search on Bibsonomy TAP@STAF The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
34Kaled M. Alshmrany, Mohannad Aldughaim, Ahmed Bhayat, Lucas C. Cordeiro FuSeBMC: An Energy-Efficient Test Generator for Finding Security Vulnerabilities in C Programs. Search on Bibsonomy TAP@STAF The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
34Clovis Eberhart, Akihisa Yamada 0002, Stefan Klikovits, Shin-ya Katsumata, Tsutomu Kobayashi, Ichiro Hasuo, Fuyuki Ishikawa Architecture-Guided Test Resource Allocation via Logic. Search on Bibsonomy TAP@STAF The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
34Étienne André, Dylan Marinho, Jaco van de Pol A Benchmarks Library for Extended Parametric Timed Automata. Search on Bibsonomy TAP@STAF The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
34Karl Meinke, Hojat Khosrowjerdi Use Case Testing: A Constrained Active Machine Learning Approach. Search on Bibsonomy TAP@STAF The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
34Wolfgang Ahrendt, Heike Wehrheim (eds.) Tests and Proofs - 14th International Conference, TAP@STAF 2020, Bergen, Norway, June 22-23, 2020, Proceedings [postponed] Search on Bibsonomy TAP@STAF The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
34Pieter H. Hartel, Richard Schumi Mutation Testing of Smart Contracts at Scale. Search on Bibsonomy TAP@STAF The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
34Tomás Kolárik, Stefan Ratschan SAT Modulo Differential Equation Simulations. Search on Bibsonomy TAP@STAF The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
34Dara Ly, Nikolai Kosmatov, Frédéric Loulergue, Julien Signoles Verified Runtime Assertion Checking for Memory Properties. Search on Bibsonomy TAP@STAF The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
34Bernhard K. Aichernig, Martin Tappler, Felix Wallner Benchmarking Combinations of Learning and Testing Algorithms for Active Automata Learning. Search on Bibsonomy TAP@STAF The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 1791 (100 per page; Change: )
Pages: [1][2][3][4][5][6][7][8][9][10][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license