|
|
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 |
111 | Debashis Bhattacharya |
Instruction-Driven Wake-Up Mechanisms for Snoopy TAP Controller. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VTS ![In: 17th IEEE VLSI Test Symposium (VTS '99), 25-30 April 1999, San Diego, CA, USA, pp. 467-472, 1999, IEEE Computer Society, 0-7695-0146-X. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
82 | Kevin Borders, Atul Prakash 0001 |
Web tap: detecting covert web traffic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCS ![In: Proceedings of the 11th ACM Conference on Computer and Communications Security, CCS 2004, Washington, DC, USA, October 25-29, 2004, pp. 110-120, 2004, ACM, 1-58113-961-6. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
spyware detection, intrusion detection, anomaly detection, HTTP, covert channels, tunnels |
76 | Duck Gun Park, Jin Kyung Kim, Jin Bong Sung, Jung Hwan Hwang, Chang Hee Hyung, Sung Weon Kang |
TAP: touch-and-play. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHI ![In: Proceedings of the 2006 Conference on Human Factors in Computing Systems, CHI 2006, Montréal, Québec, Canada, April 22-27, 2006, pp. 677-680, 2006, ACM, 1-59593-372-7. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
intrabody communication, touch-and-play, context aware service, tap |
72 | Aaron J. Gordon, Raphael A. Finkel |
Handling Timing Errors in Distributed Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 14(10), pp. 1525-1535, 1988. The full citation details ...](Pics/full.jpeg) |
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 |
67 | Bo Shen 0003 |
From 8-tap DCT to 4-tap integer-transform for mpeg to H.264/AVC transcoding. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIP ![In: Proceedings of the 2004 International Conference on Image Processing, ICIP 2004, Singapore, October 24-27, 2004, pp. 115-118, 2004, IEEE, 0-7803-8554-3. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
63 | Leilei Li, Jonathon A. Chambers |
A novel adaptive leakage factor scheme for enhancement of a variable tap-length learning algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICASSP ![In: Proceedings of the IEEE International Conference on Acoustics, Speech, and Signal Processing, ICASSP 2008, March 30 - April 4, 2008, Caesars Palace, Las Vegas, Nevada, USA, pp. 3837-3840, 2008, IEEE, 1-4244-1484-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
63 | Yu Gong, C. F. N. Cowan |
An LMS style variable tap-length algorithm for structure adaptation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Signal Process. ![In: IEEE Trans. Signal Process. 53(7), pp. 2400-2407, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
63 | Subhasish Mitra, Edward J. McCluskey, Samy Makar |
Design for Testability and Testing of IEEE 1149.1 Tap Controller. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VTS ![In: 20th IEEE VLSI Test Symposium (VTS 2002), Without Testing It's a Gamble, 28 April - 2 May 2002, Monterey, CA, USA, pp. 247-252, 2002, IEEE Computer Society, 0-7695-1570-3. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
56 | Thomas Költringer, Michaela Ngo Van, Thomas Grechenig |
Game controller text entry with alphabetic and multi-tap selection keyboards. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHI Extended Abstracts ![In: Extended Abstracts Proceedings of the 2007 Conference on Human Factors in Computing Systems, CHI 2007, San Jose, California, USA, April 28 - May 3, 2007, pp. 2513-2518, 2007, ACM, 978-1-59593-642-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
game pad, selection keyboard, text entry, game controller, joystick, multi-tap, alphabetic |
56 | Bart Vermeulen, Tom Waayers, Sjaak Bakker |
Multi-TAP Controller Architecture for Digital System Chips. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Electron. Test. ![In: J. Electron. Test. 19(4), pp. 417-424, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
system-chips, IEEE-1149.1, software-debug, design-for-debug, multi-TAP |
53 | Yingbin Liang, Gerhard Kramer, H. Vincent Poor, Shlomo Shamai |
Recent results on compound wire-tap channels. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PIMRC ![In: Proceedings of the IEEE 19th International Symposium on Personal, Indoor and Mobile Radio Communications, PIMRC 2008, 15-18 September 2008, Cannes, French Riviera, France, pp. 1-5, 2008, IEEE. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
53 | Cecilia Carbonelli, Satish Vedantam, Urbashi Mitra |
Sparse Channel Estimation with Zero Tap Detection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Wirel. Commun. ![In: IEEE Trans. Wirel. Commun. 6(5), pp. 1743-1763, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
53 | Gideon Kutz, Dan Raphaeli |
Determination of Tap Positions for Sparse Equalizers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Commun. ![In: IEEE Trans. Commun. 55(9), pp. 1712-1724, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
53 | Eunchul Yoon, Jan Hansen, Arogyaswami Paulraj |
Space-Frequency Precoding with Space-Tap Correlation Information at the Transmitter. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Commun. ![In: IEEE Trans. Commun. 55(8), pp. 1645-1645, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
53 | Eunchul Yoon, Jan Hansen, Arogyaswami Paulraj |
Space-Frequency Precoding with Space-Tap Correlation Information at the Transmitter. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Commun. ![In: IEEE Trans. Commun. 55(9), pp. 1702-1711, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
53 | Andy W. H. Khong, Patrick A. Naylor |
Selective-Tap Adaptive Filtering With Performance Analysis for Identification of Time-Varying Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Speech Audio Process. ![In: IEEE Trans. Speech Audio Process. 15(5), pp. 1681-1695, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
53 | Kenji Masui, Youki Kadobayashi |
N-TAP: A Platform of Large-Scale Distributed Measurement for Overlay Network Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAINT Workshops ![In: 2007 International Symposium on Applications and the Internet - Workshops (SAINT 2007 Workshops), 15-19 January 2007, Hiroshima, Japan, pp. 60, 2007, IEEE Computer Society, 0-7695-2757-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
53 | Yingwu Zhu, Yiming Hu |
TAP: A Novel Tunneling Approach for Anonymity in Structured P2P Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPP ![In: 33rd International Conference on Parallel Processing (ICPP 2004), 15-18 August 2004, Montreal, Quebec, Canada, pp. 21-28, 2004, IEEE Computer Society, 0-7695-2197-5. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
52 | Kent 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](Pics/bibsonomy.png) |
CHI ![In: Proceedings of the 2004 Conference on Human Factors in Computing Systems, CHI 2004, Vienna, Austria, April 24 - 29, 2004, pp. 671-678, 2004, ACM, 1-58113-702-8. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
mobile phones, text entry, chording, keypad input, multi-tap |
48 | Timucin Ozugur, Behçet Sarikaya |
Combining layer 2-layer 3 paging for wireless LANs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Wirel. Commun. ![In: IEEE Trans. Wirel. Commun. 5(9), pp. 2605-2614, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
48 | Kohzoh 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](Pics/bibsonomy.png) |
Biol. Cybern. ![In: Biol. Cybern. 86(6), pp. 483-496, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
48 | Mohammad Eshghi, Joanne DeGroat |
A parallel binary structured LMS algorithm for transversal adaptive filters. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. VLSI Signal Process. ![In: J. VLSI Signal Process. 10(2), pp. 127-140, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
46 | Tze-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](Pics/bibsonomy.png) |
PDCAT ![In: Seventh International Conference on Parallel and Distributed Computing, Applications and Technologies (PDCAT 2006), 4-7 December 2006, Taipei, Taiwan, pp. 185-190, 2006, IEEE Computer Society, 0-7695-2736-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
DWT/IDWT, image coding/decoding system, 4-tap Daubechies filters, multiplierless, low-power, JPEG-2000 |
43 | Yonggang Zhang, Ning Li 0001, Jonathon A. Chambers, Ali H. Sayed |
Steady-State Performance Analysis of a Variable Tap-Length LMS Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Signal Process. ![In: IEEE Trans. Signal Process. 56(2), pp. 839-845, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
43 | Karyn Moffatt, Sandra Yuen, Joanna McGrenere |
Hover or tap?: supporting pen-based menu navigation for older adults. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASSETS ![In: Proceedings of the 10th International ACM SIGACCESS Conference on Computers and Accessibility, ASSETS 2008, Halifax, Nova Scotia, Canada, October 13-15, 2008, pp. 51-58, 2008, ACM, 978-1-59593-976-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
tablet pc, inclusive design, universal usability, target acquisition, pen-based interaction, older users |
43 | Sami Ronkainen, Jonna Häkkilä, Saana Kaleva, Ashley Colley, Jukka Linjama |
Tap input as an embedded interaction method for mobile devices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TEI ![In: Proceedings of the 1st International Conference on Tangible and Embedded Interaction 2007, Baton Rouge, Louisiana, USA, February 15-17, 2007, pp. 263-270, 2007, ACM, 978-1-59593-619-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
mobile devices, user studies, gesture input, haptic user interfaces |
43 | Li-Hsun Chen, Oscal T.-C. Chen |
A hardware-efficient FIR architecture with input-data and tap folding. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCAS (1) ![In: International Symposium on Circuits and Systems (ISCAS 2005), 23-26 May 2005, Kobe, Japan, pp. 544-547, 2005, IEEE, 0-7803-8834-8. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
43 | Zhiwei Lin 0001, A. Benjamin Premkumar, A. S. Madhukumar |
Tap selection based MMSE equalization for high data rate UWB communication systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCAS (6) ![In: International Symposium on Circuits and Systems (ISCAS 2005), 23-26 May 2005, Kobe, Japan, pp. 5421-5424, 2005, IEEE, 0-7803-8834-8. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
43 | Jae 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](Pics/bibsonomy.png) |
IWSOC ![In: Proceedings of the 3rd IEEE International Workshop on System-on-Chip for Real-Time Applications (IWSOC'03), 30 June - 2 July 2003, Calgary, Alberta, Canada, pp. 343-349, 2003, IEEE Computer Society, 0-7695-1944-X. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
42 | Davide 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](Pics/bibsonomy.png) |
IEEE Trans. Circuits Syst. II Express Briefs ![In: IEEE Trans. Circuits Syst. II Express Briefs 67-II(8), pp. 1369-1373, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
42 | Dylan 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](Pics/bibsonomy.png) |
APCCAS ![In: 2019 IEEE Asia Pacific Conference on Circuits and Systems, APCCAS 2019, Bangkok, Thailand, November 11-14, 2019, pp. 225-228, 2019, IEEE, 978-1-7281-2940-2. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
42 | Alessio Bellino |
Enhancing Pinch-Drag-Flick Paradigm with Two New Gestures: Two-Finger-Tap for Tablets and Tap&Tap for Smartphones. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INTERACT (3) ![In: Human-Computer Interaction - INTERACT 2015 - 15th IFIP TC 13 International Conference, Bamberg, Germany, September 14-18, 2015, Proceedings, Part III, pp. 534-551, 2015, Springer, 978-3-319-22697-2. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
42 | Jacob 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](Pics/bibsonomy.png) |
CHI ![In: Proceedings of the 2007 Conference on Human Factors in Computing Systems, CHI 2007, San Jose, California, USA, April 28 - May 3, 2007, pp. 667-676, 2007, ACM, 978-1-59593-593-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
T9, mobile phones, gestures, pointing, smartphones, text input, unistrokes, EdgeWrite, isometric joysticks, multitap |
42 | Christine Szentgyorgyi, Edward Lank |
Five-key text input using rhythmic mappings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMI ![In: Proceedings of the 9th International Conference on Multimodal Interfaces, ICMI 2007, Nagoya, Aichi, Japan, November 12-15, 2007, pp. 118-121, 2007, ACM, 978-1-59593-817-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
one-handed text entry, rhythmic tapping, touch, multi-tap |
42 | Nathan Green, Jan Krüger, Chirag Faldu, Robert St. Amant |
A reduced QWERTY keyboard for mobile text entry. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHI Extended Abstracts ![In: Extended abstracts of the 2004 Conference on Human Factors in Computing Systems, CHI 2004, Vienna, Austria, April 24 - 29, 2004, pp. 1429-1432, 2004, ACM, 1-58113-703-6. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
input devices, text entry, keyboards, multi-tap |
42 | Valery I. Korzhik, Viktor Yakovlev, Alexander Sinuk |
Achievability of the Key-Capacity in a Scenario of Key Sharing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MMM-ACNS ![In: Computer Network Security, Second International Workshop on Mathematical Methods, Models, and Architectures for Computer Network Security, MMM-ACNS 2003, St. Petersburg, Russia, September 21-23, 2003, Proceedings, pp. 308-315, 2003, Springer, 3-540-40797-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
Wire-tap channel, public discussion, key capacity, privacy amplification, Renyi entropy |
39 | Jie Tang 0001, Jimeng Sun 0001, Chi Wang 0001, Zi Yang |
Social influence analysis in large-scale networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KDD ![In: Proceedings of the 15th ACM SIGKDD International Conference on Knowledge Discovery and Data Mining, Paris, France, June 28 - July 1, 2009, pp. 807-816, 2009, ACM, 978-1-60558-495-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
social influence analysis, topical analysis propagation, social networks, large-scale network |
39 | Duck 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](Pics/bibsonomy.png) |
PerCom ![In: 4th IEEE International Conference on Pervasive Computing and Communications (PerCom 2006), 13-17 March 2006, Pisa, Italy, pp. 84-91, 2006, IEEE Computer Society, 0-7695-2518-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
39 | Andrew Crossan, Roderick Murray-Smith, Stephen A. Brewster, James Kelly, Bojan Musizza |
Gait phase effects in mobile interaction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHI Extended Abstracts ![In: Extended Abstracts Proceedings of the 2005 Conference on Human Factors in Computing Systems, CHI 2005, Portland, Oregon, USA, April 2-7, 2005, pp. 1312-1315, 2005, ACM, 1-59593-002-7. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
gait effects, instrumented usability, rhythmic interaction, mobile devices, accelerometer, pen-based interfaces, targeting |
39 | M. Fakhrul Islam, Baikunth Nath, Joarder Kamruzzaman |
Reactive Load Control of Parallel Transformer Operations Using Neural Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEA/AIE ![In: Developments in Applied Artificial Intelligence, 15th International Conference on Industrial and Engineering, Applications of Artificial Intelligence and Expert Systems, IEA/AIE 2002, Cairns, Australia, June 17-20, 2002, Proceedings, pp. 824-830, 2002, Springer, 3-540-43781-9. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
38 | Juan Pablo Hourcade, Theresa R. Berkel |
Tap or touch?: pen-based selection accuracy for the young and old. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHI Extended Abstracts ![In: Extended Abstracts Proceedings of the 2006 Conference on Human Factors in Computing Systems, CHI 2006, Montréal, Québec, Canada, April 22-27, 2006, pp. 881-886, 2006, ACM, 978-1-59593-298-3. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
PDA, accuracy, handheld, touch, pen, stylus, tap, PocketPC |
37 | Barbara Endicott-Popovsky, Brian Chee, Deborah A. Frincke |
Calibration Testing Of Network Tap Devices. (PDF / PS) ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFIP Int. Conf. Digital Forensics ![In: Advances in Digital Forensics III - IFIP International Conference on Digital Forensics, National Centre for Forensic Science, Orlando, Florida, USA, January 28-31, 2007, pp. 3-19, 2007, Springer, 978-0-387-73741-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
aggregating tap, baseline testing, calibration, Network forensics |
35 | Virgile Prevosto, Cristina Seceleanu (eds.) |
Tests and Proofs - 17th International Conference, TAP 2023, Leicester, UK, July 18-19, 2023, Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAP ![Springer, 978-3-031-38827-9 The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
35 | Myriam Clouet, Thibaud Antignac, Mathilde Arnaud, Julien Signoles |
Context Specification Language for Formally Verifying Consent Properties on Models and Code. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAP ![In: Tests and Proofs - 17th International Conference, TAP 2023, Leicester, UK, July 18-19, 2023, Proceedings, pp. 68-93, 2023, Springer, 978-3-031-38827-9. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
35 | Thibaut Benajmin, Julien Signoles |
Abstract Interpretation of Recursive Logic Definitions for Efficient Runtime Assertion Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAP ![In: Tests and Proofs - 17th International Conference, TAP 2023, Leicester, UK, July 18-19, 2023, Proceedings, pp. 168-186, 2023, Springer, 978-3-031-38827-9. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
35 | Martin Gogolla, Lars Hamann |
Proving Properties of Operation Contracts with Test Scenarios. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAP ![In: Tests and Proofs - 17th International Conference, TAP 2023, Leicester, UK, July 18-19, 2023, Proceedings, pp. 97-107, 2023, Springer, 978-3-031-38827-9. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
35 | Nico Naus, Freek Verbeek, Marc Schoolderman, Binoy Ravindran |
Low-Level Reachability Analysis Based on Formal Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAP ![In: Tests and Proofs - 17th International Conference, TAP 2023, Leicester, UK, July 18-19, 2023, Proceedings, pp. 21-39, 2023, Springer, 978-3-031-38827-9. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
35 | Matteo Cimini |
Testing Languages with a Languages-as-Databases Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAP ![In: Tests and Proofs - 17th International Conference, TAP 2023, Leicester, UK, July 18-19, 2023, Proceedings, pp. 108-126, 2023, Springer, 978-3-031-38827-9. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
35 | Kais Klai, Mohamed Taha Bennani, Jaime Arias 0001, Jörg Desel, Hanen Ochi |
Symbolic Observation Graph-Based Generation of Test Paths. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAP ![In: Tests and Proofs - 17th International Conference, TAP 2023, Leicester, UK, July 18-19, 2023, Proceedings, pp. 127-146, 2023, Springer, 978-3-031-38827-9. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
35 | Megan 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](Pics/bibsonomy.png) |
TAP ![In: Tests and Proofs - 17th International Conference, TAP 2023, Leicester, UK, July 18-19, 2023, Proceedings, pp. 149-167, 2023, Springer, 978-3-031-38827-9. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
35 | Aurélie Hurault, João Marques-Silva 0001 |
Certified Logic-Based Explainable AI - The Case of Monotonic Classifiers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAP ![In: Tests and Proofs - 17th International Conference, TAP 2023, Leicester, UK, July 18-19, 2023, Proceedings, pp. 51-67, 2023, Springer, 978-3-031-38827-9. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
35 | David Monniaux, Léo Gourdin, Sylvain Boulmé, Olivier Lebeltel |
Testing a Formally Verified Compiler. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAP ![In: Tests and Proofs - 17th International Conference, TAP 2023, Leicester, UK, July 18-19, 2023, Proceedings, pp. 40-48, 2023, Springer, 978-3-031-38827-9. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
35 | Daniel Engel, Freek Verbeek, Binoy Ravindran |
BIRD: A Binary Intermediate Representation for Formally Verified Decompilation of X86-64 Binaries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAP ![In: Tests and Proofs - 17th International Conference, TAP 2023, Leicester, UK, July 18-19, 2023, Proceedings, pp. 3-20, 2023, Springer, 978-3-031-38827-9. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
35 | Bernhard Beckert, Reiner Hähnle (eds.) |
Tests and Proofs - 2nd International Conference, TAP 2008, Prato, Italy, April 9-11, 2008. Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAP ![Springer, 978-3-540-79123-2 The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
35 | Elaine J. Weyuker, Thomas J. Ostrand |
What Can Fault Prediction Do for YOU?. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAP ![In: Tests and Proofs - 2nd International Conference, TAP 2008, Prato, Italy, April 9-11, 2008. Proceedings, pp. 18-29, 2008, Springer, 978-3-540-79123-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
35 | Andriy Dunets, Gerhard Schellhorn, Wolfgang Reif |
Bounded Relational Analysis of Free Data Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAP ![In: Tests and Proofs - 2nd International Conference, TAP 2008, Prato, Italy, April 9-11, 2008. Proceedings, pp. 99-115, 2008, Springer, 978-3-540-79123-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
SAT checking, model checking, verification, formal methods, theorem proving, First-order logic, abstract data types |
35 | Andrea Calvagna, Angelo Gargantini |
A Logic-Based Approach to Combinatorial Testing with Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAP ![In: Tests and Proofs - 2nd International Conference, TAP 2008, Prato, Italy, April 9-11, 2008. Proceedings, pp. 66-83, 2008, Springer, 978-3-540-79123-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
35 | Michael A. Hennell |
The First Thirty Years: Experience with Software Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAP ![In: Tests and Proofs - 2nd International Conference, TAP 2008, Prato, Italy, April 9-11, 2008. Proceedings, pp. 1-3, 2008, Springer, 978-3-540-79123-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
35 | Thomas Ball, Orna Kupferman |
Vacuity in Testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAP ![In: Tests and Proofs - 2nd International Conference, TAP 2008, Prato, Italy, April 9-11, 2008. Proceedings, pp. 4-17, 2008, Springer, 978-3-540-79123-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
35 | Helga Velroyen, Philipp Rümmer |
Non-termination Checking for Imperative Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAP ![In: Tests and Proofs - 2nd International Conference, TAP 2008, Prato, Italy, April 9-11, 2008. Proceedings, pp. 154-170, 2008, Springer, 978-3-540-79123-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
35 | Jonathan de Halleux, Nikolai Tillmann |
Parameterized Unit Testing with Pex. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAP ![In: Tests and Proofs - 2nd International Conference, TAP 2008, Prato, Italy, April 9-11, 2008. Proceedings, pp. 171-181, 2008, Springer, 978-3-540-79123-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
35 | Koen Claessen, Hans Svensson |
Finding Counter Examples in Induction Proofs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAP ![In: Tests and Proofs - 2nd International Conference, TAP 2008, Prato, Italy, April 9-11, 2008. Proceedings, pp. 48-65, 2008, Springer, 978-3-540-79123-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
35 | Nikolai Tillmann, Jonathan de Halleux |
Pex-White Box Test Generation for .NET. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAP ![In: Tests and Proofs - 2nd International Conference, TAP 2008, Prato, Italy, April 9-11, 2008. Proceedings, pp. 134-153, 2008, Springer, 978-3-540-79123-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
35 | Christian Engel 0002, Christoph Gladisch, Vladimir Klebanov, Philipp Rümmer |
Integrating Verification and Testing of Object-Oriented Software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAP ![In: Tests and Proofs - 2nd International Conference, TAP 2008, Prato, Italy, April 9-11, 2008. Proceedings, pp. 182-191, 2008, Springer, 978-3-540-79123-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
35 | Zining Cao |
Equivalence Checking for a Finite Higher Order pi-Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAP ![In: Tests and Proofs - 2nd International Conference, TAP 2008, Prato, Italy, April 9-11, 2008. Proceedings, pp. 30-47, 2008, Springer, 978-3-540-79123-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
35 | Matthieu Carlier, Catherine Dubois |
Functional Testing in the Focal Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAP ![In: Tests and Proofs - 2nd International Conference, TAP 2008, Prato, Italy, April 9-11, 2008. Proceedings, pp. 84-98, 2008, Springer, 978-3-540-79123-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
35 | Pietro Ferrara 0001 |
Static Analysis Via Abstract Interpretation of the Happens-Before Memory Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAP ![In: Tests and Proofs - 2nd International Conference, TAP 2008, Prato, Italy, April 9-11, 2008. Proceedings, pp. 116-133, 2008, Springer, 978-3-540-79123-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Static Analysis, Abstract Interpretation, Memory Model, Multithreaded Programs |
35 | Yuri Gurevich, Bertrand Meyer 0001 (eds.) |
Tests and Proofs - 1st International Conference, TAP 2007, Zurich, Switzerland, February 12-13, 2007. Revised Papers ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAP ![Springer, 978-3-540-73769-8 The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
35 | Bernhard Beckert, Christoph Gladisch |
White-Box Testing by Combining Deduction-Based Specification Extraction and Black-Box Testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAP ![In: Tests and Proofs - 1st International Conference, TAP 2007, Zurich, Switzerland, February 12-13, 2007. Revised Papers, pp. 207-216, 2007, Springer, 978-3-540-73769-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
35 | Christian Engel 0002, Reiner Hähnle |
Generating Unit Tests from Formal Proofs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAP ![In: Tests and Proofs - 1st International Conference, TAP 2007, Zurich, Switzerland, February 12-13, 2007. Revised Papers, pp. 169-188, 2007, Springer, 978-3-540-73769-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
theorem proving, program verification, model-based testing, unit testing, symbolic execution, test coverage, white-box testing |
35 | Achim D. Brucker, Burkhart Wolff |
Test-Sequence Generation with Hol-TestGen with an Application to Firewall Testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAP ![In: Tests and Proofs - 1st International Conference, TAP 2007, Zurich, Switzerland, February 12-13, 2007. Revised Papers, pp. 149-168, 2007, Springer, 978-3-540-73769-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
symbolic test case generations, theorem proving, computer security, black box testing, Isabelle/HOL, test sequence generation |
35 | Jonathan S. Ostroff, Faraz Ahmadi Torshizi |
Testable Requirements and Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAP ![In: Tests and Proofs - 1st International Conference, TAP 2007, Zurich, Switzerland, February 12-13, 2007. Revised Papers, pp. 17-40, 2007, Springer, 978-3-540-73769-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
35 | Pascale Le Gall, Nicolas Rapin, Assia Touil |
Symbolic Execution Techniques for Refinement Testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAP ![In: Tests and Proofs - 1st International Conference, TAP 2007, Zurich, Switzerland, February 12-13, 2007. Revised Papers, pp. 131-148, 2007, Springer, 978-3-540-73769-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
symbolic transition system, refinement, conformance testing, symbolic execution |
35 | Yannis Smaragdakis, Christoph Csallner |
Combining Static and Dynamic Reasoning for Bug Detection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAP ![In: Tests and Proofs - 1st International Conference, TAP 2007, Zurich, Switzerland, February 12-13, 2007. Revised Papers, pp. 1-16, 2007, Springer, 978-3-540-73769-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
35 | Lisa Ling Liu, Bertrand Meyer 0001, Bernd Schoeller |
Using Contracts and Boolean Queries to Improve the Quality of Automatic Test Generation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAP ![In: Tests and Proofs - 1st International Conference, TAP 2007, Zurich, Switzerland, February 12-13, 2007. Revised Papers, pp. 114-130, 2007, Springer, 978-3-540-73769-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
35 | Ralph-Johan Back, Johannes Eriksson, Magnus Myreen |
Testing and Verifying Invariant Based Programs in the SOCOS Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAP ![In: Tests and Proofs - 1st International Conference, TAP 2007, Zurich, Switzerland, February 12-13, 2007. Revised Papers, pp. 61-78, 2007, Springer, 978-3-540-73769-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Invariant based programming, static program verification, state charts, verification conditions |
35 | Angelo Gargantini |
Using Model Checking to Generate Fault Detecting Tests. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAP ![In: Tests and Proofs - 1st International Conference, TAP 2007, Zurich, Switzerland, February 12-13, 2007. Revised Papers, pp. 189-206, 2007, Springer, 978-3-540-73769-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
test, model based testing, Abstract State Machines, fault based testing |
35 | Qiao Haiyan |
Testing and Proving Distributed Algorithms in Constructive Type Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAP ![In: Tests and Proofs - 1st International Conference, TAP 2007, Zurich, Switzerland, February 12-13, 2007. Revised Papers, pp. 79-94, 2007, Springer, 978-3-540-73769-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
35 | Manoranjan Satpathy, Michael J. Butler, Michael Leuschel, S. Ramesh 0002 |
Automatic Testing from Formal Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAP ![In: Tests and Proofs - 1st International Conference, TAP 2007, Zurich, Switzerland, February 12-13, 2007. Revised Papers, pp. 95-113, 2007, Springer, 978-3-540-73769-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Model Based Testing, B-Method, Non-determinism |
35 | Philipp Rümmer, Muhammad Ali Shah |
Proving Programs Incorrect Using a Sequent Calculus for Java Dynamic Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAP ![In: Tests and Proofs - 1st International Conference, TAP 2007, Zurich, Switzerland, February 12-13, 2007. Revised Papers, pp. 41-60, 2007, Springer, 978-3-540-73769-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Disproving, Testing, Program verification, Program logics |
34 | Laura 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](Pics/bibsonomy.png) |
TAP@STAF ![Springer, 978-3-031-09826-0 The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
34 | Simon Dierl, Falk Howar |
Reach on Register Automata via History Independence. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAP@STAF ![In: Tests and Proofs - 16th International Conference, TAP 2022, Held as Part of STAF 2022, Nantes, France, July 5, 2022, Proceedings, pp. 11-30, 2022, Springer, 978-3-031-09826-0. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
34 | Maryam Mouzarani, Ali Kamali, Sara Baradaran, Mahdi Heidari |
A Unit-Based Symbolic Execution Method for Detecting Heap Overflow Vulnerability in Executable Codes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAP@STAF ![In: Tests and Proofs - 16th International Conference, TAP 2022, Held as Part of STAF 2022, Nantes, France, July 5, 2022, Proceedings, pp. 89-105, 2022, Springer, 978-3-031-09826-0. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
34 | Yousra Lembachar, Ryan Rusich, Iulian Neamtiu, Gianfranco Ciardo |
Bddl: A Type System for Binary Decision Diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAP@STAF ![In: Tests and Proofs - 16th International Conference, TAP 2022, Held as Part of STAF 2022, Nantes, France, July 5, 2022, Proceedings, pp. 31-47, 2022, Springer, 978-3-031-09826-0. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
34 | Yutaka Nagashima |
Definitional Quantifiers Realise Semantic Reasoning for Proof by Induction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAP@STAF ![In: Tests and Proofs - 16th International Conference, TAP 2022, Held as Part of STAF 2022, Nantes, France, July 5, 2022, Proceedings, pp. 48-66, 2022, Springer, 978-3-031-09826-0. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
34 | Daniela Kaufmann, Armin Biere |
Fuzzing and Delta Debugging And-Inverter Graph Verification Tools. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAP@STAF ![In: Tests and Proofs - 16th International Conference, TAP 2022, Held as Part of STAF 2022, Nantes, France, July 5, 2022, Proceedings, pp. 69-88, 2022, Springer, 978-3-031-09826-0. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
34 | Marie-Christine Jakobs |
Automatic Test-Case Generation with CoVeriTest (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAP@STAF ![In: Tests and Proofs - 16th International Conference, TAP 2022, Held as Part of STAF 2022, Nantes, France, July 5, 2022, Proceedings, pp. 3-8, 2022, Springer, 978-3-031-09826-0. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
34 | Diego Marmsoler, Achim D. Brucker |
Conformance Testing of Formal Semantics Using Grammar-Based Fuzzing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAP@STAF ![In: Tests and Proofs - 16th International Conference, TAP 2022, Held as Part of STAF 2022, Nantes, France, July 5, 2022, Proceedings, pp. 106-125, 2022, Springer, 978-3-031-09826-0. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
34 | Fré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](Pics/bibsonomy.png) |
TAP@STAF ![Springer, 978-3-030-79378-4 The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
34 | Amirfarhad Nilizadeh, Gary T. Leavens, Corina S. Pasareanu |
Using a Guided Fuzzer and Preconditions to Achieve Branch Coverage with Valid Inputs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAP@STAF ![In: Tests and Proofs - 15th International Conference, TAP 2021, Held as Part of STAF 2021, Virtual Event, June 21-22, 2021, Proceedings, pp. 72-84, 2021, Springer, 978-3-030-79378-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
34 | Dominik Diner, Gordon Fraser 0001, Sebastian Schweikl, Andreas Stahlbauer |
Generating Timed UI Tests from Counterexamples. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAP@STAF ![In: Tests and Proofs - 15th International Conference, TAP 2021, Held as Part of STAF 2021, Virtual Event, June 21-22, 2021, Proceedings, pp. 53-71, 2021, Springer, 978-3-030-79378-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
34 | Kaled 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](Pics/bibsonomy.png) |
TAP@STAF ![In: Tests and Proofs - 15th International Conference, TAP 2021, Held as Part of STAF 2021, Virtual Event, June 21-22, 2021, Proceedings, pp. 85-105, 2021, Springer, 978-3-030-79378-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
34 | Clovis 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](Pics/bibsonomy.png) |
TAP@STAF ![In: Tests and Proofs - 15th International Conference, TAP 2021, Held as Part of STAF 2021, Virtual Event, June 21-22, 2021, Proceedings, pp. 22-38, 2021, Springer, 978-3-030-79378-4. The full citation details ...](Pics/full.jpeg) |
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](Pics/bibsonomy.png) |
TAP@STAF ![In: Tests and Proofs - 15th International Conference, TAP 2021, Held as Part of STAF 2021, Virtual Event, June 21-22, 2021, Proceedings, pp. 39-50, 2021, Springer, 978-3-030-79378-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
34 | Karl Meinke, Hojat Khosrowjerdi |
Use Case Testing: A Constrained Active Machine Learning Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAP@STAF ![In: Tests and Proofs - 15th International Conference, TAP 2021, Held as Part of STAF 2021, Virtual Event, June 21-22, 2021, Proceedings, pp. 3-21, 2021, Springer, 978-3-030-79378-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
34 | Wolfgang Ahrendt, Heike Wehrheim (eds.) |
Tests and Proofs - 14th International Conference, TAP@STAF 2020, Bergen, Norway, June 22-23, 2020, Proceedings [postponed] ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAP@STAF ![Springer, 978-3-030-50994-1 The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
34 | Pieter H. Hartel, Richard Schumi |
Mutation Testing of Smart Contracts at Scale. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAP@STAF ![In: Tests and Proofs - 14th International Conference, TAP@STAF 2020, Bergen, Norway, June 22-23, 2020, Proceedings [postponed], pp. 23-42, 2020, Springer, 978-3-030-50994-1. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
34 | Tomás Kolárik, Stefan Ratschan |
SAT Modulo Differential Equation Simulations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAP@STAF ![In: Tests and Proofs - 14th International Conference, TAP@STAF 2020, Bergen, Norway, June 22-23, 2020, Proceedings [postponed], pp. 80-99, 2020, Springer, 978-3-030-50994-1. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
34 | Dara Ly, Nikolai Kosmatov, Frédéric Loulergue, Julien Signoles |
Verified Runtime Assertion Checking for Memory Properties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAP@STAF ![In: Tests and Proofs - 14th International Conference, TAP@STAF 2020, Bergen, Norway, June 22-23, 2020, Proceedings [postponed], pp. 100-121, 2020, Springer, 978-3-030-50994-1. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
34 | Bernhard K. Aichernig, Martin Tappler, Felix Wallner |
Benchmarking Combinations of Learning and Testing Algorithms for Active Automata Learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAP@STAF ![In: Tests and Proofs - 14th International Conference, TAP@STAF 2020, Bergen, Norway, June 22-23, 2020, Proceedings [postponed], pp. 3-22, 2020, Springer, 978-3-030-50994-1. The full citation details ...](Pics/full.jpeg) |
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][ >>] |
|