Testing - PDFSEARCH.IO - Document Search Engine

Testing
Results: 56338

#	Item
11	The Smithsonian Affiliated National Atomic Testing Museum “Using lessons of the past to better understand the present.” Executive Summary Mission Add to Reading List Source URL: nationalatomictestingmuseum.org Language: English - Date: 2017-06-30 02:49:20 Nevada Western United States National Atomic Testing Museum Paradise Nevada Nuclear weapons Nevada Test Site Atomic Age Nuclear proliferation Museum National Museum of Nuclear Science & History
12	Comparison Test Metrics for Brave on Mobile DOMAIN SELECTION AND TESTING Test domains were selected to represent a grouping of popular publisher and news sites. Nexus 9 Add to Reading List Source URL: brave.com Language: English - Date: 2018-10-25 00:12:39 Software Computing Computer architecture Smartphones Cloud clients IOS Freeware Portable software Google Chrome IPhone Android Brave
13	Python Testing with pytest Add to Reading List Source URL: media.pragprog.com Language: English - Date: 2017-09-13 12:18:41 Software engineering Computing Computer programming Cross-platform software Test fixture Tests Unit testing Programming languages Fixture Python Factory
14	Critical Constrained Planning and an Application to Network Penetration Testing Marcel Steinmetz Saarland University Saarbr¨ucken, Germany {steinmetz}@cs.uni-saarland.de Add to Reading List Source URL: icaps16.icaps-conference.org Language: English - Date: 2016-06-09 08:09:42 Search algorithms Theoretical computer science Heuristic State space search Mathematical optimization Algorithm Mathematics Philosophy of mathematics Cognitive science
15	SOFTWARE TESTING, VERIFICATION AND RELIABILITY Softw. Test. Verif. ReliabPublished online in Wiley Online Library (wileyonlinelibrary.com). DOI: stvr.1475 A survey of code-based change impact analysis te Add to Reading List Source URL: zhang-sai.github.io Language: English - Date: 2015-05-05 00:58:34 Central Intelligence Agency Cold War in popular culture McLean Virginia Change impact analysis Program slicing Mining software repositories Reverse engineering Software engineering Computing Change
16	Python Testing with pytest Add to Reading List Source URL: media.pragprog.com Language: English - Date: 2017-09-13 12:19:14 Software testing Quality management Software engineering Software development Test automation Unit testing Test Manual testing Keyword-driven testing Test-driven development
17	Putting Flight Software Through the Paces with Testing, Model Checking, and Constraint-Solving Alex Groce1 , Gerard Holzmann1 , Rajeev Joshi1 , and Ru-Gang Xu2 1 Add to Reading List Source URL: rjoshi.org Language: English - Date: 2010-09-11 18:30:43 Software testing Software engineering Model checkers Computing Theoretical computer science Formal methods Model checking Formal verification Random testing Test automation SPIN model checker Acceptance testing
18	Concolic Testing for Deep Neural Networks Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2018-08-02 04:45:47
19	Automated Testing of Planning Models Klaus Havelund, Alex Groce, Gerard Holzmann, Rajeev Joshi, Margaret Smith Jet Propulsion Laboratory? , California Institute of Technology 4800 Oak Grove Drive, Pasadena/Los Angeles, C Add to Reading List Source URL: rjoshi.org Language: English - Date: 2010-09-11 18:31:15 Model checkers Promela Computing Model checking SPIN model checker Gerard J. Holzmann Modeling language Mars Exploration Rover Economic model Theoretical computer science Notation
20	Rearranging the Familiar: Testing Compositional Generalization in Recurrent Networks arXiv:1807.07545v1 [cs.CL] 19 JulJo˜ao Loula Add to Reading List Source URL: cims.nyu.edu Language: English - Date: 2018-07-20 17:31:26 Computational neuroscience Artificial neural networks Applied mathematics Computing Cybernetics Deep learning Recurrent neural network Training test and validation sets Artificial intelligence Abstraction layer Neural network

UPDATE