• 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.

found 68 matches

• 2020
• 
  Muhammad Taimoor Khan, Martin Pinzger, Dimitrios Serpanos, Howard E. Shrobe:
  Runtime Protection of Real-time Critical Control Applications against Known Threats. IEEE Des. Test 37(6): 88-95 (2020)
• 
  Ayan Palchaudhuri, Anindya Sundar Dhar:
  Testable Architecture Design for Programmable Cellular Automata on FPGA Using Run-Time Dynamically Reconfigurable Look-Up Tables. J. Electron. Test. 36(4): 519-536 (2020)
• 
  Ongun Yucesan, Altan Ozkil:
  Time Complexity Comparison of Stopping at First Failure and Completely Running the Test. J. Electron. Test. 36(3): 409-417 (2020)
• 
  Jonas De Bleser, Dario Di Nucci, Coen De Roover:
  A Delta-Debugging Approach to Assessing the Resilience of Actor Programs through Run-time Test Perturbations. AST@ICSE 2020: 21-30
• 
  Pasin Manurangsi:
  Tight Running Time Lower Bounds for Strong Inapproximability of Maximum k-Coverage, Unique Set Cover and Related Problems (via t-Wise Agreement Testing Theorem). SODA 2020: 62-81
• 2019
• 
  Christine Niyizamwiyitira, Lars Lundberg:
  A Utilization-Based Schedulability Test of Real-Time Systems Running on a Multiprocessor Virtual Machine. Comput. J. 62(6): 884-904 (2019)
• 
  Pasin Manurangsi:
  Tight Running Time Lower Bounds for Strong Inapproximability of Maximum k-Coverage, Unique Set Cover and Related Problems (via t-Wise Agreement Testing Theorem). CoRR abs/1910.11850 (2019)
• 2018
• 
  Jean-Luc Béchennec, Sébastien Faucou, Olivier H. Roux, Matthias Brun, Louis-Marie Givel:
  Testing Real-Time Systems With Runtime Enforcement. IEEE Des. Test 35(4): 31-37 (2018)
• 
  Mohammad Salehi, Alireza Ejlali, Muhammad Shafique:
  Run-Time Adaptive Power-Aware Reliability Management for Manycores. IEEE Des. Test 35(5): 36-44 (2018)
• 
  Erik M. Fredericks:
  An empirical analysis of the mutation operator for run-time adaptive testing in self-adaptive systems. SBST@ICSE 2018: 59-66
• 
  André Reichstaller, Alexander Knapp:
  Risk-Based Testing of Self-Adaptive Systems Using Run-Time Predictions. SASO 2018: 80-89
• 2017
• 
  Johannes Wienke, Sebastian Wrede:
  Performance regression testing and run-time verification of components in robotics systems. Adv. Robotics 31(22): 1177-1192 (2017)
• 
  Igor Aleksejev, Artur Jutman, Sergei Devadze:
  Run-time reconfigurable instruments for advanced board-level testing. IEEE Instrum. Meas. Mag. 20(4): 23-30 (2017)
• 2016
• 
  Louis-Marie Givel:
  Test de systèmes temps réel à l'aide du forçage en ligne. (Testing real-time systems using runtime enforcement). École centrale de Nantes, France, 2016
• 
  Ning Ma, Shaojun Wang, Datong Liu, Yu Peng:
  A run-time built-in approach of TID test in SRAM based FPGAs. Microelectron. Reliab. 64: 42-47 (2016)
• 
  Louis-Marie Givel, Jean-Luc Béchennec, Matthias Brun, Sébastien Faucou, Olivier H. Roux:
  Testing real-time embedded software using runtime enforcement. SIES 2016: 199-204
• 2015
• 
  René Just, Franz Schweiggert:
  Higher accuracy and lower run time: efficient mutation analysis using non-redundant mutation operators. Softw. Test. Verification Reliab. 25(5-7): 490-507 (2015)
• 
  Louis-Marie Givel, Matthias Brun, Camille Constant, Sébastien Faucou, Olivier H. Roux:
  Use of Runtime Enforcement for the Test of Real-time Systems. HPCC/CSS/ICESS 2015: 984-990
• 
  Alexandra Kourfali, Dirk Stroobandt:
  Test set generation almost for free using a run-time FPGA reconfiguration technique. LATS 2015: 1-6
• 2014
• 
  P. K. Kapur, Sunil Kumar Khatri, Anshul Tickoo, Omar Shatnawi:
  Release time determination depending on number of test runs using multi attribute utility theory. Int. J. Syst. Assur. Eng. Manag. 5(2): 186-194 (2014)
• 
  Xuedong Yan, Qingwan Xue, Lu Ma, Yongcun Xu:
  Driving-Simulator-Based Test on the Effectiveness of Auditory Red-Light Running Vehicle Warning System Based on Time-To-Collision Sensor. Sensors 14(2): 3631-3651 (2014)
• 
  Masanori Hashimoto:
  Stochastic verification of run-time performance adaptation with field delay testing. APCCAS 2014: 751-754
• 
  Erik M. Fredericks, Byron DeVries, Betty H. C. Cheng:
  Towards run-time adaptation of test cases for self-adaptive systems in the face of uncertainty. SEAMS 2014: 17-26
• 2013
• 
  Erik M. Fredericks, Andres J. Ramirez, Betty H. C. Cheng:
  Towards run-time testing of dynamic adaptive systems. SEAMS 2013: 169-174
• 
  Padma Iyenghar, Elke Pulvermüller, Michael Spieker, Juergen Wuebbelmann, Clemens Westerkamp:
  Time and memory-aware runtime monitoring for executing model-based test cases in embedded systems. INDIN 2013: 506-512
• 2012
• 
  Steinn Gudmundsson, Thomas Philip Runarsson, Sven Sigurdsson:
  Test-retest reliability and feature selection in physiological time series classification. Comput. Methods Programs Biomed. 105(1): 50-60 (2012)
• 
  Andreas Metzger, Eric Schmieders, Osama Sammodi, Klaus Pohl:
  Verification and testing at run-time for online quality prediction. S-Cube@ICSE 2012: 49-50
• 2010
• 
  Sarmad Abbasi, Patrick Healy, Aimal Rextin:
  Improving the running time of embedded upward planarity testing. Inf. Process. Lett. 110(7): 274-278 (2010)
• 2009
• 
  Viliam Holub, Trevor Parsons, Patrick O'Sullivan, John Murphy:
  Run-time correlation engine for system monitoring and testing. ICAC 2009: 43-44
• 
  Edison Mera, Pedro López-García, Manuel V. Hermenegildo:
  Integrating Software Testing and Run-Time Checking in an Assertion Verification Framework. ICLP 2009: 281-295

skipping 38 more matches