|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 343 occurrences of 220 keywords
|
|
|
Results
Found 1765 publication records. Showing 1765 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Matthías Páll Gissurarson, Diego Roque, James Koppel |
Spectacular: Finding Laws from 25 Trillion Terms. |
ICST |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Andreas Pointner |
Mining Attributed Input Grammars and their Applications in Fuzzing. |
ICST |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Hao Xian Yuen, Andrew Yong Chen Pang, Zhou Yang 0003, Chun Yong Chong, Mei Kuan Lim, David Lo 0001 |
ASDF: A Differential Testing Framework for Automatic Speech Recognition Systems. |
ICST |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Péter Attila Soha, Tamás Gergely, Ferenc Horváth, Béla Vancsics, Árpád Beszédes |
A Case Against Coverage-Based Program Spectra. |
ICST |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Ankit Jha |
Automatic Benchmark Generation for Object Constraint Language. |
ICST |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Florian Tambon, Vahid Majdinasab, Amin Nikanjam, Foutse Khomh, Giuliano Antoniol |
Mutation Testing of Deep Reinforcement Learning Based on Real Faults. |
ICST |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Andrew G. Clark, Michael Foster 0001, Neil Walkinshaw, Robert M. Hierons |
Metamorphic Testing with Causal Graphs. |
ICST |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Noor Nashid, Mifta Sintaha, Ali Mesbah 0001 |
Embedding Context as Code Dependencies for Neural Program Repair. |
ICST |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Yves Le Traon |
AI is a game-changing technology: how to test and robustify Machine-Learning software? |
ICST |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Agustín Mista, Alejandro Russo |
MUTAGEN: Reliable Coverage-Guided, Property-Based Testing using Exhaustive Mutations. |
ICST |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Lukas Berglund, Tim Grube, Gregory Gay 0002, Francisco Gomes de Oliveira Neto, Dimitrios Platis |
Test Maintenance for Machine Learning Systems: A Case Study in the Automotive Industry. |
ICST |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Huang Luohua Locke, Kai Ting Keshia Yap, Joseph Chu Ken Yu, Hock Yao Chua |
QEX: Automated Testing Observability and QA Developer Experience Framework. |
ICST |
2023 |
DBLP DOI BibTeX RDF |
|
1 | BaekGyu Kim |
Constraint-Guided Automatic Side Object Placement for Steering Control Testing in Virtual Environment. |
ICST |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Zalán Lévai, Phil McMinn |
Batching Non-Conflicting Mutations for Efficient, Safe, Parallel Mutation Analysis in Rust. |
ICST |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Andrea Arcuri, Man Zhang 0001, Amid Golmohammadi, Asma Belhadi, Juan P. Galeotti, Bogdan Marculescu, Susruthan Seran |
EMB: A Curated Corpus of Web/Enterprise Applications And Library Support for Software Testing Research. |
ICST |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Maurizio Leotta, Boni García, Filippo Ricca, Jim Whitehead |
Challenges of End-to-End Testing with Selenium WebDriver and How to Face Them: A Survey. |
ICST |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Qusay Idrees Sarhan, Árpád Beszédes |
Poster: Improving Spectrum Based Fault Localization For Python Programs Using Weighted Code Elements. |
ICST |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Ezio Bartocci, Leonardo Mariani, Dejan Nickovic, Drishti Yadav |
Property-Based Mutation Testing. |
ICST |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Jeewoong Kim, Shin Hong |
Poster: BugOss: A Regression Bug Benchmark for Empirical Study of Regression Fuzzing Techniques. |
ICST |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Gregory Gay 0002, Alireza Salahirad |
How Closely are Common Mutation Operators Coupled to Real Faults? |
ICST |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Philip Tasche, Paula Herber |
A Coverage-Driven Systematic Test Approach for Simultaneous Localization and Mapping. |
ICST |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Simon Hundsdorfer, Daniel Elsner, Alexander Pretschner |
DIRTS: Dependency Injection Aware Regression Test Selection. |
ICST |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Qusay Idrees Sarhan, Hassan B. Hassan, Árpád Beszédes |
Poster: Software Fault Localization as a Service (SFLaaS). |
ICST |
2023 |
DBLP DOI BibTeX RDF |
|
1 | |
IEEE Conference on Software Testing, Verification and Validation, ICST 2023, Dublin, Ireland, April 16-20, 2023 |
ICST |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Linghui Luo, Goran Piskachev, Ranjith Krishnamurthy, Julian Dolby, Eric Bodden, Martin Schäf |
Model Generation For Java Frameworks. |
ICST |
2023 |
DBLP DOI BibTeX RDF |
|
1 | João Inácio, Ibéria Medeiros |
CorCA: An Automatic Program Repair Tool for Checking and Removing Effectively C Flaws. |
ICST |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Deepika Tiwari, Martin Monperrus, Benoit Baudry |
RICK: Generating Mocks from Production Data. |
ICST |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Joshua Bundt, Andrew Fasano, Brendan Dolan-Gavitt, William K. Robertson, Tim Leek |
Homo in Machina: Improving Fuzz Testing Coverage via Compartment Analysis. |
ICST |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Péter Attila Soha |
On The Efficiency Of Combination Of Program Slicing and Spectrum-Based Fault Localization. |
ICST |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Huadong Feng, Xiaolei Ren, Qiping Wei, Yu Lei 0001, Raghu Kacker, D. Richard Kuhn, Dimitris E. Simos |
MagicMirror: Towards High-Coverage Fuzzing of Smart Contracts. |
ICST |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Jinkook Kim, Minseok Jeon, Sejeong Jang, Hakjoo Oh |
Automating Endurance Test for Flash-based Storage Devices in Samsung Electronics. |
ICST |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Michael Auer, Andreas Stahlbauer, Gordon Fraser 0001 |
Android Fuzzing: Balancing User-Inputs and Intents. |
ICST |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Martin Gruber, Michael Heine, Norbert Oster, Michael Philippsen, Gordon Fraser 0001 |
Practical Flaky Test Prediction using Common Code Evolution and Test History Data. |
ICST |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Hiroyuki Kirinuki, Masaki Tajima, Haruto Tanno |
LatteArt: A Platform for Recording and Analyzing Exploratory Testing. |
ICST |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Guillermo Polito, Pablo Tesone, Nahuel Palumbo, Stéphane Ducasse, Jean Privat |
Heap Fuzzing: Automatic Garbage Collection Testing with Expert-Guided Random Events. |
ICST |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Tim A. D. Henderson, Bobby Dorward, Eric Nickell, Collin Johnston, Avi Kondareddy |
Flake Aware Culprit Finding. |
ICST |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Jiayuan Liang, Sinan Wang, Xiangbo Deng, Yepang Liu 0001 |
RIDA: Cross-App Record and Replay for Android. |
ICST |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Patric Feldmeier |
Fully Automated Game Testing via Neuroevolution. |
ICST |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Nadia Alshahwan, Mark Harman, Alexandru Marginean |
Software Testing Research Challenges: An Industrial Perspective. |
ICST |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Roland Wuersching, Daniel Elsner, Fabian Leinen, Alexander Pretschner, Georg Grueneissl, Thomas Neumeyr, Tobias Vosseler |
Severity-Aware Prioritization of System-Level Regression Tests in Automotive Software. |
ICST |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Jeff Offutt |
Test Automation: From Slow & Weak to Fast, Flaky, & Blind to Smart & Effective. |
ICST |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Attila Szatmári |
Towards Context-Aware Spectrum-Based Fault Localization. |
ICST |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Ermanno Battista, Sergio Di Martino, Sergio Di Meglio, Fabio Scippacercola, Luigi Libero Lucio Starace |
E2E-Loader: A Framework to Support Performance Testing of Web Applications. |
ICST |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Baharin Aliashrafi Jodat, Shiva Nejati, Mehrdad Sabetzadeh, Patricio Saavedra |
Learning Non-robustness using Simulation-based Testing: a Network Traffic-shaping Case Study. |
ICST |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Jinhan Kim, Nargiz Humbatova, Gunel Jahangirova, Paolo Tonella, Shin Yoo |
Repairing DNN Architecture: Are We There Yet? |
ICST |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Elsner, Severin Kacianka, Stephan Lipp, Alexander Pretschner, Axel Habermann, Maria Graber, Silke Reimer |
BinaryRTS: Cross-language Regression Test Selection for C++ Binaries in CI. |
ICST |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Mahum Naseer, Muhammad Shafique 0001 |
Poster: Link between Bias, Node Sensitivity and Long-Tail Distribution in trained DNNs. |
ICST |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Qusay Idrees Sarhan, Hassan B. Hassan, Árpád Beszédes |
SFLaaS: Software Fault Localization as a Service. |
ICST |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Davide Li Calsi, Matias Duran, Xiao-Yi Zhang 0005, Paolo Arcaini, Fuyuki Ishikawa |
Distributed Repair of Deep Neural Networks. |
ICST |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Iurii Krak, Olexander Barmak, Vladislav A. Kuznetsov, Serhii Kondratiuk, Oleg Stelia, Veda Kasianiuk |
Hardware Usage Improvement for Small Data Problem Solving by Deep Learning Methods. |
ICST |
2023 |
DBLP BibTeX RDF |
|
1 | Vsevolod Bohaenko |
Simulation of Non-isothermal Fractional-order Moisture Transport Using Multi-threaded TFQMR and Dynamic Time-stepping Technique. |
ICST |
2023 |
DBLP BibTeX RDF |
|
1 | Olexandr Polishchuk, Mykhailo Yadzhak |
Models and Methods of Evaluation the Vulnerability of Complex Hierarchical Network Systems. |
ICST |
2023 |
DBLP BibTeX RDF |
|
1 | Ihor Prots'ko, Roman Rykmas |
The Analysis of Models of the Block-cyclic Structures of the DCT-II core for the Synthesis of Fast Algorithms. |
ICST |
2023 |
DBLP BibTeX RDF |
|
1 | Vitaliy Mezhuyev, Yurii Gunchenko, Vladislav Mikhailenko, Roman Kharchenko, Valery Leshchenko |
Mathematical Simulation Process Increasing Energy Efficiency of Ship Steam Boilers. |
ICST |
2023 |
DBLP BibTeX RDF |
|
1 | Mykola Korablyov, Oleksandr Fomichov, Oleksandr Chubukin, Danylo Antonov, Stanislav Dykyi |
Immune Model for Controlling Characters in Computer Games. |
ICST |
2023 |
DBLP BibTeX RDF |
|
1 | Anatolii Kargin, Tetyana Petrenko |
Cognitive Perception as a Base Model of the Feeling Artificial Intelligence. |
ICST |
2023 |
DBLP BibTeX RDF |
|
1 | Vladimir Vychuzhanin, Nickolay Rudnichenko, Alexey Vychuzhanin, Andrzej Rychlik |
Diagnosis Intellectualization of Complex Technical Systems. |
ICST |
2023 |
DBLP BibTeX RDF |
|
1 | Vitaliy Kobets, Ihor Popovych, Serhii Zinchenko, Pavlo Nosov, Oleh Tovstokoryi, Kostiantyn Kyrychenko |
Control of the Pivot Point Position of a Conventional Single-Screw Vessel. |
ICST |
2023 |
DBLP BibTeX RDF |
|
1 | Volodymyr Kvasnikov, Lyudmyla Kuzmych, Svitlana Yehorova, Andriy Kuzmych, Vasyl Guryn |
Automated Modeling Verification Complex of the Intelligent Instrument System. |
ICST |
2023 |
DBLP BibTeX RDF |
|
1 | Alla Kobozieva, Ivan Bobok, Nataliya Kushnirenko |
Steganalysis Method for Detecting LSB Embedding in Digital Video, Digital Image Sequence. |
ICST |
2023 |
DBLP BibTeX RDF |
|
1 | Oleh Pihnastyi, Olha Kozhyna, Kostiantyn Voloshyn |
Linear Regression Models for Bronchial Asthma Severity Prediction based on TSLP. |
ICST |
2023 |
DBLP BibTeX RDF |
|
1 | Oleksandr Lysenko, Olena Tachinina, Valeriy Novikov, Oleksandr Guida, Fedir Kirchu, Ihor Sushyn |
Methodology of Synthesizing Digital Regulators in Precision Electric Drives for Orientation and Stabilization Target Tracking System of Mobile Robot's Directional Sensors. |
ICST |
2023 |
DBLP BibTeX RDF |
|
1 | Nickolay Rudnichenko, Vladimir Vychuzhanin, Natalia Shibaeva, Igor Petrov, Tetiana Otradskya |
Intelligent Data Clustering System for Searching Hidden Regularities in Financial Transactions. |
ICST |
2023 |
DBLP BibTeX RDF |
|
1 | Yevgeniy V. Bodyanskiy, Serhii Kostiuk |
Using Adaptive Activation Functions in Pre-Trained Artificial Neural Network Models. |
ICST |
2023 |
DBLP BibTeX RDF |
|
1 | Petro Hrytsiuk, Tetiana Babych, Serhii Baranovsky, Maksym Havryliuk |
Assessing of Climate Impact on Wheat Yield using Machine Learning Techniques. |
ICST |
2023 |
DBLP BibTeX RDF |
|
1 | Nataliia Kuznietsova, Oleksii Shevchuk |
Computer Modelling and Investigation of Investment Portfolios. |
ICST |
2023 |
DBLP BibTeX RDF |
|
1 | Houda El Bouhissi, Amine Ziane, Lamia Rahmani, Meriem Medbal, Mariia Kostiuk |
RF-PSO: An Optimized Approach for Diabetes Prediction. |
ICST |
2023 |
DBLP BibTeX RDF |
|
1 | Sergii V. Khlamov, Tetiana O. Trunova, Iryna Tabakova |
Data Mining of Astronomical Processing Configuration Parameters by the ThresHolds Software. |
ICST |
2023 |
DBLP BibTeX RDF |
|
1 | Victor Krasnobayev, Alina Yanko, Anatolii Martynenko, Dmytro Kovalchuk |
Method for Computing Exponentiation Modulo the Positive and Negative Integers. |
ICST |
2023 |
DBLP BibTeX RDF |
|
1 | Algirdas Pakstas, Yuriy P. Kondratenko, Vladimir Vychuzhanin, Hang Yin, Nickolay Rudnichenko (eds.) |
Proceedings of the 11-th International Conference "Information Control Systems & Technologies", Odessa, Ukraine, September 21-23, 2023. |
ICST |
2023 |
DBLP BibTeX RDF |
|
1 | Maksym Zaliskyi, Yuliia Petrova, Yurii Hryshchenko, Victor Romanenko, Vladyslav Hryshchenko |
Method of Pilot's Flight Style Model Building Based on Statistical Data. |
ICST |
2023 |
DBLP BibTeX RDF |
|
1 | Sergii V. Khlamov, Tetiana O. Trunova, Iryna Tabakova |
Astronomical Metadata Mining from FITS Files by the Telescope Software. |
ICST |
2023 |
DBLP BibTeX RDF |
|
1 | Valerii Sytnikov, Oleg Streltsov, Pavel Stupen, Zoran Stevic, Tykhon Sytnikov |
Analysis of the Application of Serial Connection of the Same Type Bandpass Filters in the Sensor Signal Processing Channel in the Information Control System. |
ICST |
2023 |
DBLP BibTeX RDF |
|
1 | Oleksandr Sharko, Petr Louda, Artem Sharko, Dmitry Stepanchikov, Katarzyna Ewa Buczkowska, Van Su Le |
Intelligent Geopolymer Characterisation System Using Multicriteria Analysis and Markov Chains. |
ICST |
2023 |
DBLP BibTeX RDF |
|
1 | Yue Zheng, Oleksiy V. Kozlov, Galyna V. Kondratenko, Andrii Denysenko |
Intelligent System for Adhesion Control of Universal Robotic Platform. |
ICST |
2023 |
DBLP BibTeX RDF |
|
1 | Tetiana A. Vakaliuk, Oleksandr Dubyna, Tetiana M. Nikitchuk, Oleksandr V. Andreiev |
Evaluation of the Effectiveness of the Integrated Security System as an Information System. |
ICST |
2023 |
DBLP BibTeX RDF |
|
1 | Serhii Mitsenko, Serhii Naumenko, Inna Rozlomii, Andrii Yarmilko |
Information Protection and Recovery Hamming Codes Based' Hash Technique. |
ICST |
2023 |
DBLP BibTeX RDF |
|
1 | Natalia Axak, Maksym Kushnaryov, Andrii Tatarnykov |
The Agent-Based Learning Platform. |
ICST |
2023 |
DBLP BibTeX RDF |
|
1 | Vitaliy Mezhuyev, Vladyslav Mykhailenko, Larysa Martynovych, Hanna Korenkova, Valerii Leshchenko, Sergii Stukalov |
Intellectual Improvement of the Control System for Harmful Emissions of a Ship's Utilizing Boiler. |
ICST |
2023 |
DBLP BibTeX RDF |
|
1 | Andrey Kupin, Dmytro Zubov, Aiza Zhenishbekova |
Smart Control of Temperature and Audio Monitoring Inside Beehive: IoT ESP8266 NodeMCU and Android Mobile Platforms. |
ICST |
2023 |
DBLP BibTeX RDF |
|
1 | Oleksandr Tarasov, Liudmyla Vasylieva, Svitlana S. Turlakova, Pavlo Sahaida, Aleksandr Karpov |
Improving the Quality of the Relevance of the Search for Scientific Publications Based on a Combination of Ranking Methods. |
ICST |
2023 |
DBLP BibTeX RDF |
|
1 | Yuriy P. Kondratenko, Galyna V. Kondratenko, Anatolii Shevchenko, Vadym Slyusar, Yuriy Zhukov, Maxym Vakulenko |
Towards Implementing the Strategy of Artificial Intelligence Development: Ukraine Peculiarities. |
ICST |
2023 |
DBLP BibTeX RDF |
|
1 | Oleg Rudenko, Oleksandr Bezsonov, Oleg Ilyunin, Nataliia Serdiuk |
Intelligent Control of the Surface Defects Removal in Rolled Products using Water Jet Technology. |
ICST |
2023 |
DBLP BibTeX RDF |
|
1 | Vitalii P. Babak, Oleg Dekusha, Svitlana Kovtun, Zinaida Burova, Gleb Parkhomenko |
Computational Fluid Dynamics Model of the Heat Transfer at Thermal Resistance control of Building envelope. |
ICST |
2023 |
DBLP BibTeX RDF |
|
1 | Ashraf Labib, Dylan Jones, Olena Arsirii, Sergiy Smyk, Oleksii Ivanov |
Analysis of Petrol Station Vulnerability Factors Regarding Accidents Using Analytic Hierarchy Process and Ranking. |
ICST |
2023 |
DBLP BibTeX RDF |
|
1 | Bohdan Sus, Oleksandr S. Bauzha, Sergiy P. Zagorodnyuk, Valentyna Maliarenko |
Organizing the Synchronous Remote Labworks in Institutions of Technical Engineering Education. |
ICST |
2023 |
DBLP BibTeX RDF |
|
1 | Oleh Pihnastyi, Maksym Sobol |
Method for Determining Statistical Characteristics of Input Material Flows of Transport Conveyor. |
ICST |
2023 |
DBLP BibTeX RDF |
|
1 | Quan Trong The |
Speech Source Separation Based on Dual - Microphone System. |
ICST |
2023 |
DBLP BibTeX RDF |
|
1 | Luca Gazzola, Leonardo Mariani, Matteo Orrù, Mauro Pezzè, Martin Tappler |
Testing Software in Production Environments with Data from the Field. |
ICST |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Ciprian Paduraru, Miruna Paduraru, Alin Stefanescu |
RiverGame - a game testing tool using artificial intelligence. |
ICST |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Yunho Kim, Shin Hong |
Learning-based Mutant Reduction Using Fine-grained Mutation Operators. |
ICST |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Jun-Wei Lin, Sam Malek |
GUI Test Transfer from Web to Android. |
ICST |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Andrei Lascu, Alastair F. Donaldson, Tobias Grosser, Torsten Hoefler |
Metamorphic Fuzzing of C++ Libraries. |
ICST |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Andrea Romdhana, Mariano Ceccato, Alessio Merlo, Paolo Tonella |
IFRIT: Focused Testing through Deep Reinforcement Learning. |
ICST |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Louise Zetterlund, Deepika Tiwari, Martin Monperrus, Benoit Baudry |
Harvesting Production GraphQL Queries to Detect Schema Faults. |
ICST |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Zimmermann |
Automated GUI-based Software-Testing Using Deep Neuroevolution. |
ICST |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Muhammad Ashfaq, Rubing Huang, Dave Towey, Michael Omari, Dmitry A. Yashunin, Patrick Kwaku Kudjo, Tao Zhang 0001 |
Summary of SWFC-ART: A Cost-effective Approach for Fixed-Size-Candidate-Set Adaptive Random Testing through Small World Graphs. |
ICST |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Paolo Arcaini, Xiao-Yi Zhang 0005, Fuyuki Ishikawa |
Less is More: Simplification of Test Scenarios for Autonomous Driving System Testing. |
ICST |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Tobias Bachmann, Djurre van der Wal, Machiel van der Bijl, Daan van der Meij, Ana Oprescu |
Translating EULYNX SysML Models into Symbolic Transition Systems for Model-Based Testing of Railway Signaling Systems. |
ICST |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Max Eisele |
Debugger-driven Embedded Fuzzing. |
ICST |
2022 |
DBLP DOI BibTeX RDF |
|
Displaying result #101 - #200 of 1765 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ >>] |
|