495 Hits in 3.9 sec

Filtering TOBIAS Combinatorial Test Suites [chapter]

Yves Ledru, Lydie du Bousquet, Olivier Maury, Pierre Bontron
2004 Lecture Notes in Computer Science  
TOBIAS is a combinatorial testing tool, aimed at the production of large test suites.  ...  This paper shows how assertions can be exploited at generation time to filter the set of test cases, and at execution time to detect inconclusive test cases.  ...  The intrinsic limitation of the tool is that it is subject to combinatorial explosion. Sect. 4 presents two kinds of filters that can be used with TOBIAS to help master the size of test suites.  ... 
doi:10.1007/978-3-540-24721-0_21 fatcat:ys4wivhzxfcuxcmtevdjka4y3e

Mastering combinatorial explosion with the tobias-2 test generator

Yves Ledru, Frédéric Dadeau, Lydie du Bousquet, Sébastien Ville, Elodie Rose
2007 Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering - ASE '07  
Mastering combinatorial explosion with the Tobias-2 test generator. ABSTRACT This paper briefly describes the second version of the Tobias combinatorial test generator.  ...  This paper briefly describes the second version of the Tobias combinatorial test generator. This version improves the architecture of the tool to include filtering and test selection mechanisms.  ...  FILTERING TOBIAS TEST SUITES A Tobias filter is a property expressed by the test engineer that must be fulfilled by the test cases of the test suite.  ... 
doi:10.1145/1321631.1321731 dblp:conf/kbse/LedruDBVR07 fatcat:2zi6al43ufgpdoaf5bfsfaept4

Model-Based Filtering of Combinatorial Test Suites [chapter]

Taha Triki, Yves Ledru, Lydie du Bousquet, Frédéric Dadeau, Julien Botella
2012 Lecture Notes in Computer Science  
Tobias is a combinatorial test generation tool which can efficiently generate a large number of test cases by unfolding a test pattern and computing all combinations of parameters.  ...  We then introduce recent extensions of the Tobias tool which support an incremental unfolding and filtering process, and its associated toolset.  ...  Then Section 3 presents the basic constructs of Tobias, using the case study. Section 4 presents additional constructs which help filter combinatorial test suites.  ... 
doi:10.1007/978-3-642-28872-2_30 fatcat:admz4fbilrha3haa6eahuxqg2m

Directed random reduction of combinatorial test suites

Frédéric Dadeau, Yves Ledru, Lydie Du Bousquet
2007 Proceedings of the 2nd international workshop on Random testing co-located with the 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2007) - RT '07  
Directed random reduction of combinatorial test suites.  ...  Combinatorial testing consists in generating (possibly large) test suites by combining both the sequencing of several operations, and the selection of test data.  ...  MASTERING COMBINATORIAL EXPLOSION TOBIAS offers two possibilities for reducing test suites' sizes.  ... 
doi:10.1145/1292414.1292421 fatcat:tq5cs5tderabhercx6vfutsmc4

Measuring a Java Test Suite Coverage Using JML Specifications

F. Dadeau, Y. Ledru, L. du Bousquet
2007 Electronical Notes in Theoretical Computer Science  
JMLUnit [6], Tobias [18]) or random testing (e.g. Jartege [23]).  ...  We came to the idea that the coverage criteria defined in the latter work could be used to evaluate test suites that would have been produced by several tools, using different approaches, such as combinatorial  ...  On the other hand, Tobias is able to produce large combinatorial test suites from a test schema defined as a regular expression.  ... 
doi:10.1016/j.entcs.2007.08.003 fatcat:2jyofr6k7felxada4k4bzmdzo4

A survey on Test Suite Reduction frameworks and tools

Saif Ur Rehman Khan, Sai Peck Lee, Raja Wasim Ahmad, Adnan Akhunzada, Victor Chang
2016 International Journal of Information Management  
Test Suite Reduction (TSR) is considered a potential approach to deal with the test suite size problem.  ...  However, the gradual increase of the test suite size demands high portion of testing budget and time.  ...  Therefore, to better cope with the impact of combinatorial unfolding, TOBIAS employs a generic filtering and selection mechanisms.  TEMSA: Wang et al.  ... 
doi:10.1016/j.ijinfomgt.2016.05.025 fatcat:vtm4m6g2p5dxrixmvsv6flmati

Metha: Network Verifiers Need To Be Correct Too!

Rüdiger Birkner, Tobias Brodmann, Petar Tsankov, Laurent Vanbever, Martin T. Vechev
2021 Symposium on Networked Systems Design and Implementation  
We address this challenge by leveraging grammar-based fuzzing together with combinatorial testing to ensure thorough coverage of the search space and by identifying the minimal set of statements triggering  ...  In this paper, we present Metha, a framework that systematically tests network analysis and verification tools for bugs in their network models.  ...  The goal of combinatorial testing is to generate the smallest t-wise combinatorial test suite.  ... 
dblp:conf/nsdi/BirknerBTVV21 fatcat:yu7q3s5e4jfr5nkrgt7odxqgsq

Test Generation and Evaluation from High-Level Properties for Common Criteria Evaluations -- The TASCCC Testing Tool

Frederic Dadeau, Kalou Cabrera Castillos, Yves Ledru, Taha Triki, German Vega, Julien Botella, Safouan Taha
2013 2013 IEEE Sixth International Conference on Software Testing, Verification and Validation  
First, they can be employed to evaluate the relevance of a test suite according to specific coverage criteria.  ...  These test scenarios are then unfolded and animated on the Smartesting's CertifyIt model animator, that is used to filter out infeasible sequences.  ...  The TOBIAS combinatorial tool is then used to unfold such a regular expression. The resulting test sequences are then played on the model, using the CertifyIt animation engine.  ... 
doi:10.1109/icst.2013.60 dblp:conf/icst/DadeauCLTVBT13 fatcat:ocmy5xxmuvh4hcjo6bqagcmfhu

Guest Editorial: Learning from multiple sources

Nicolò Cesa-Bianchi, David R. Hardoon, Gayle Leen
2010 Machine Learning  
The advantages of the multiple source learning paradigm can be seen in situations where individual data sources are noisy, incomplete, and learning from more than one source can filter out problem-independent  ...  Experiments are reported on sentiment classification and spam filtering datasets.  ...  The resulting spectral clustering algorithm is tested on synthetic and real-world datasets.  ... 
doi:10.1007/s10994-010-5169-8 fatcat:ny4h26gc25durlptol6fjp3hny

Identification of Novel 3-Hydroxy-pyran-4-One Derivatives as Potent HIV-1 Integrase Inhibitors Using in silico Structure-Based Combinatorial Library Design Approach

Hajar Sirous, Giulia Chemi, Sandra Gemma, Stefania Butini, Zeger Debyser, Frauke Christ, Lotfollah Saghaie, Simone Brogi, Afshin Fassihi, Giuseppe Campiani, Margherita Brindisi
2019 Frontiers in Chemistry  
Gratifyingly, all of them showed relevant inhibitory activity in the in vitro tests along with no toxicity.  ...  The combinatorial library design allowed the identification of the best decorations for our promising scaffold.  ...  From this first filter, 1,803 combinatorial compounds were chosen for the next step.  ... 
doi:10.3389/fchem.2019.00574 pmid:31457006 pmcid:PMC6700280 fatcat:b6kcfvekwzd4bjnbsfpo4s6fna

The TrackML high-energy physics tracking challenge on Kaggle

Moritz Kiehn, Sabrina Amrouche, Paolo Calafiura, Victor Estrade, Steven Farrell, Cécile Germain, Vava Gligorov, Tobias Golling, Heather Gray, Isabelle Guyon, Mikhail Hushchyn, Vincenzo Innocente (+11 others)
2019 EPJ Web of Conferences  
experiment tracker has been created, listing for each event the measured 3D points, and the list of 3D points associated to a true track.The participants to the challenge should find the tracks in the test  ...  Existing solutions usually rely on well-established algorithms based on track following and combinatorial Kalman filters [1, 2] that are often implemented specifically for each experiment.  ...  Training and test data-sets only differ by the type of files made available.  ... 
doi:10.1051/epjconf/201921406037 fatcat:drsstpitlbblba65gcyoeyg62u

Characterization of novel carcinoma cell lines for the analysis of therapeutical strategies fighting pancreatic cancer

Dietmar Zechner, Florian Bürtin, Jonas Amme, Tobias Lindner, Tobias Radecke, Stefan Hadlich, Jens-Peter Kühn, Brigitte Vollmar
2015 Cell & Bioscience  
Conclusion: All three cell lines can be used in vitro for testing combinatorial therapies with gemcitabine.  ...  Such preclinical studies have been published for several other cell lines such as AsPC-1, SUIT-2, MIA PaCa-2, or Panc02 cells [14] [15] [16] [17] .  ...  The significance of differences was evaluated using a Mann-Whitney rank-sum test followed by the correction for the accumulation of the α error by considering the number of meaningful comparisons.  ... 
doi:10.1186/s13578-015-0038-6 pmid:26322225 pmcid:PMC4551666 fatcat:k3wrniij3zgxfpqekuqnpcrjkm

Combinatorial CRISPR screening reveals functional buffering in autophagy [article]

Valentina Diehl, Martin Wegner, Paolo Grumati, Koraljka Husnjak, Simone Schaubeck, Andrea Gubas, Varun Jayeshkumar Shah, Felix Langschied, Alkmini Kalousi, Ingo Ebersberger, Ivan Dikic, Manuel Kaulich
2020 bioRxiv   pre-print
Our combinatorial 3Cs approach is broadly suitable to investigate unexpected gene-interaction phenotypes in unperturbed and diseased cell contexts.  ...  The optimal number for combinatorial hit calling was 16 gRNA pairs and the skew of a library′s distribution was identified as a critical parameter dictating experimental scale and data quality.  ...  Mycoplasma contamination testing 618 was performed immediately after the arrival of the cells and multiple times during the course of 619 the experiments.  ... 
doi:10.1101/2020.07.28.201152 fatcat:dtszvbffsjdvpd7u6eoiytcn2y

Minimized combinatorial CRISPR screens identify genetic interactions in autophagy

Valentina Diehl, Martin Wegner, Paolo Grumati, Koraljka Husnjak, Simone Schaubeck, Andrea Gubas, Varun Jayeshkumar Shah, Ibrahim H Polat, Felix Langschied, Cristian Prieto-Garcia, Konstantin Müller, Alkmini Kalousi (+4 others)
2021 Nucleic Acids Research  
We show that combinatorial 3Cs libraries can be screened with minimal coverages, reducing associated efforts and costs at least 10-fold.  ...  Here, we describe 3Cs multiplexing, a rapid and scalable method to generate highly diverse and uniformly distributed combinatorial CRISPR libraries.  ...  Andrea Ballabio and Davide Cacchiarelli of the Telethon Institute of Genetics and Medicine (Naples, Italy), Sebastian Wagner and Khalil Abou Elardat (Cancer Genomics Core Facility Frankfurt, Germany) and Tobias  ... 
doi:10.1093/nar/gkab309 pmid:33956155 pmcid:PMC8191801 fatcat:vfkjs32vdnb6fk5vqz3iufavty

Matrix-screening reveals a vast potential for direct protein-protein interactions among RNA binding proteins

Benjamin Lang, Jae-Seong Yang, Mireia Garriga-Canut, Silvia Speroni, Moritz Aschern, Maria Gili, Tobias Hoffmann, Gian Gaetano Tartaglia, Sebastian P Maurer
2021 Nucleic Acids Research  
The dataset we provide will be a valuable resource for understanding the combinatorial interactions of RBPs with RNAs and the resulting regulatory outcomes.  ...  Requiring both tests to be successful filtered out all such problematic pairs.  ...  Motif logos were generated from the PWMs using meme2images from the MEME Suite.  ... 
doi:10.1093/nar/gkab490 pmid:34133714 fatcat:6lpemmmyzvfqpgijn4bzquo26a
« Previous Showing results 1 — 15 out of 495 results