Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Elvira Albert, Jesús Correas, Pablo Gordillo, Guillermo Román-Díez, Albert Rubio |
Smart, and also Reliable and Gas-Efficient, Contracts. |
ICST |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Marco Pistoia, Peng Liu 0010, Chun-Fu (Richard) Chen, Shaohan Hu, Stephen P. Wood |
Parallelization of Classical Numerical optimization in Quantum Variational Algorithms. |
ICST |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Maurizio Leotta, Matteo Biagiola, Filippo Ricca, Mariano Ceccato, Paolo Tonella |
A Family of Experiments to Assess the Impact of Page Object Pattern in Web Test Suite Development. |
ICST |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Élodie Bernard, Julien Botella, Fabrice Ambert, Bruno Legeard, Mark Utting |
Tool Support for Refactoring Manual Tests. |
ICST |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Franjo Ivancic |
SunDew: Systematic Automated Security Testing. |
ICST |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Qianqian Zhu, Andy Zaidman |
Massively Parallel, Highly Efficient, but What About the Test Suite Quality? Applying Mutation Testing to GPU Programs. |
ICST |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Camilo Escobar-Velasquez |
Source-Codeless Testing for Android Apps. |
ICST |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Matteo Biagiola, Andrea Stocco 0001, Filippo Ricca, Paolo Tonella |
Dependency-Aware Web Test Generation. |
ICST |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Emanuele Viglianisi, Michael Dallago, Mariano Ceccato |
RESTTESTGEN: Automated Black-Box Testing of RESTful APIs. |
ICST |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Stefan Karlsson, Adnan Causevic, Daniel Sundmark |
QuickREST: Property-based Test Generation of OpenAPI-Described RESTful APIs. |
ICST |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Liana Hadarean |
One-click formal methods. |
ICST |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Bach, Ralf Pannemans, Artur Andrzejak 0001 |
Determining Method-Call Sequences for Object Creation in C++. |
ICST |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Saba Gholizadeh Ansari |
Toward Automated Assessment of User Experience in Extended Reality. |
ICST |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Xin Yin, Iulian Neamtiu, Saketan Patil, Sean T. Andrews |
Implementation-induced Inconsistency and Nondeterminism in Deterministic Clustering Algorithms. |
ICST |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Jeonghyun Joo, Seunghoon Yoo, Myunghwan Park |
Poster: Test Case Prioritization Using Error Propagation Probability. |
ICST |
2020 |
DBLP DOI BibTeX RDF |
|
1 | André Takeshi Endo, Anders Møller |
NodeRacer: Event Race Detection for Node.js Applications. |
ICST |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Allan Mori |
Anomaly Analyses to Guide Software Testing Activity. |
ICST |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Rui Prada, I. S. W. B. Prasetya, Fitsum Meshesha Kifetew, Frank Dignum, Tanja E. J. Vos, Jason Lander, Jean-Yves Donnart, Alexandre Kazmierowski, Joseph Davidson, Pedro M. Fernandes |
Agent-based Testing of Extended Reality Systems. |
ICST |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Miroslav Bures, Pavel Herout, Bestoun S. Ahmed |
Open-source Defect Injection Benchmark Testbed for the Evaluation of Testing. |
ICST |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Hussein K. Almulla, Gregory Gay 0002 |
Learning How to Search: Generating Exception-Triggering Tests Through Adaptive Fitness Function Selection. |
ICST |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Andrea Arcuri, Juan P. Galeotti |
Testability Transformations For Existing APIs. |
ICST |
2020 |
DBLP DOI BibTeX RDF |
|
1 | |
13th IEEE International Conference on Software Testing, Validation and Verification, ICST 2020, Porto, Portugal, October 24-28, 2020 |
ICST |
2020 |
DBLP BibTeX RDF |
|
1 | Sakshi Udeshi, Xingbin Jiang, Sudipta Chattopadhyay 0001 |
Callisto: Entropy-based Test Generation and Data Quality Assessment for Machine Learning Systems. |
ICST |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Marcel Böhme, Charaka Geethal, Van-Thuan Pham |
Human-In-The-Loop Automatic Program Repair. |
ICST |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Breno Miranda, Igor Lima, Owolabi Legunsen, Marcelo d'Amorim |
Prioritizing Runtime Verification Violations. |
ICST |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Marcio Augusto Guimarães, Leonardo Fernandes, Márcio Ribeiro 0001, Marcelo d'Amorim, Rohit Gheyi |
Optimizing Mutation Testing by Discovering Dynamic Mutant Subsumption Relations. |
ICST |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Kyle Dewey, Shant Hairapetian, Miroslav Gavrilov |
MiMIs: Simple, Efficient, and Fast Bounded-Exhaustive Test Case Generators. |
ICST |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Kesina Baral, Jeff Offutt |
An Empirical Analysis of Blind Tests. |
ICST |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Thorsten Wuensche, Artur Andrzejak 0001, Sascha Schwedes |
Detecting Higher-Order Merge Conflicts in Large Software Projects. |
ICST |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Hassan Sartaj, Muhammad Zohaib Iqbal, Muhammad Uzair Khan |
CDST: A Toolkit for Testing Cockpit Display Systems. |
ICST |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Supriya Agrawal, R. Venkatesh 0001, Ulka Shrotri, Amey Zare, Sagar Verma |
Scaling Test Case Generation For Expressive Decision Tables. |
ICST |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Phu X. Mai, Fabrizio Pastore, Arda Goknil, Lionel C. Briand |
Metamorphic Security Testing for Web Systems. |
ICST |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Alessandro Calò, Paolo Arcaini, Shaukat Ali 0001, Florian Hauer 0002, Fuyuki Ishikawa |
Generating Avoidable Collision Scenarios for Testing Autonomous Driving Systems. |
ICST |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Shaobo He, Michael Emmi, Gabriela F. Ciocarlie |
ct-fuzz: Fuzzing for Timing Leaks. |
ICST |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Mojdeh Golagha, Alexander Pretschner, Lionel C. Briand |
Can We Predict the Quality of Spectrum-based Fault Localization? |
ICST |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Van-Thuan Pham, Marcel Böhme, Abhik Roychoudhury |
AFLNET: A Greybox Fuzzer for Network Protocols. |
ICST |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Patrick Kreutzer, Stefan Kraus, Michael Philippsen |
Language-Agnostic Generation of Compilable Test Programs. |
ICST |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Max J. Friese, Johannes Traub, Dirk Nowotka |
EC.LANG - A Language for Specifying Response Time Analyses of Event Chains. |
ICST |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Jannik Fischbach, Andreas Vogelsang, Dominik Spies, Andreas Wehrle, Maximilian Junker, Dietmar Freudenstein |
SPECMATE: Automated Creation of Test Cases from Acceptance Criteria. |
ICST |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Afsoon Afzal, Claire Le Goues, Michael Hilton, Christopher Steven Timperley |
A Study on Challenges of Testing Robotic Systems. |
ICST |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Gunel Jahangirova, Paolo Tonella |
An Empirical Evaluation of Mutation Operators for Deep Learning Systems. |
ICST |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Mariano Ceccato, Davide Corradini, Luca Gazzola, Fitsum Meshesha Kifetew, Leonardo Mariani, Matteo Orrù, Paolo Tonella |
A Framework for In-Vivo Testing of Mobile Applications. |
ICST |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Hiroyuki Kirinuki, Toshiyuki Kurabayashi, Haruto Tanno, Ippei Kumagawa |
Poster: SONAR Testing - Novel Testing Approach Based on Operation Recording and Visualization. |
ICST |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Pouria Derakhshanfar |
Well-informed Test Case Generation and Crash Reproduction. |
ICST |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Misael Costa Júnior |
Automated verification of compliance of non-functional requirements on mobile applications through metamorphic testing. |
ICST |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Vaggelis Atlidakis, Patrice Godefroid, Marina Polishchuk |
Checking Security Properties of Cloud Service REST APIs. |
ICST |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Rawad Abou Assi, Wes Masri, Chadi Trad |
Substate Profiling for Enhanced Fault Detection and Localization: An Empirical Study. |
ICST |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Xiangyu Li 0001, Alessandro Orso |
More Accurate Dynamic Slicing for Better Supporting Software Debugging. |
ICST |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Fitash Ul Haq, Donghwan Shin 0001, Shiva Nejati, Lionel C. Briand |
Comparing Offline and Online Testing of Deep Neural Networks: An Autonomous Car Case Study. |
ICST |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Abdullah Alsharif, Gregory M. Kapfhammer, Phil McMinn |
STICCER: Fast and Effective Database Test Suite Reduction Through Merging of Similar Test Cases. |
ICST |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Mahshid Helali Moghadam, Mehrdad Saadatmand, Markus Borg, Markus Bohlin, Björn Lisper |
Poster: Performance Testing Driven by Reinforcement Learning. |
ICST |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Bohdan Sus, Nataliia Tmienova, Ilona Revenchuk, Oleksandr S. Bauzha, Sergii G. Stirenko |
Gamification Approach to the Creation of Virtual Laboratory Works and Educational Courses. |
ICST |
2020 |
DBLP BibTeX RDF |
|
1 | Józef Korbicz, Petro Bidyuk, Nataliia Kuznietsova, Arsenii Kroptya, Oleksandr Terentiev, Tetyana Prosiankina-Zharova |
Multivariate Distribution Model for Financial Risks Management. |
ICST |
2020 |
DBLP BibTeX RDF |
|
1 | Nataliia O. Komleva, Vira Liubchenko, Svitlana Zinovatna, Vitaliy Kobets |
Decision Support System for Quality Management in Learning Process. |
ICST |
2020 |
DBLP BibTeX RDF |
|
1 | Olexander Barmak, Iurii Krak, Eduard Manziuk |
Diversity as The Basis for Effective Clustering-Based Classification. |
ICST |
2020 |
DBLP BibTeX RDF |
|
1 | Olena Tachinina, Oleksandr Lysenko, Iryna Alekseeva, Valeriy Novikov |
Mathematical Modeling of Motion of Iron Bird Target Node of Security Data Management System Sensors. |
ICST |
2020 |
DBLP BibTeX RDF |
|
1 | Borys Zhurylenko, Kirill Nikolaev |
Combined Multi-Level Information Protection With Probability Reliability. |
ICST |
2020 |
DBLP BibTeX RDF |
|
1 | Oleksandr Tarasov, Liudmyla Vasylieva, Oleksandr Altukhov, Valerii Anosov |
Automation of the Synthesis of New Design Solutions Based on the Requirements for the Functionality of the Created. |
ICST |
2020 |
DBLP BibTeX RDF |
|
1 | Oksana Pichugina |
New Bounds in Linear Combinatorial Optimization. |
ICST |
2020 |
DBLP BibTeX RDF |
|
1 | Anatoliy Povoroznyuk, Oksana Povoroznyuk, Inna Skarga-Bandurova |
Application of a Multiplicative Model with Linear Partial Descriptions in Self-organization Methods. |
ICST |
2020 |
DBLP BibTeX RDF |
|
1 | Vladimir Yakimov, Vitaliy Batishchev |
Spectral Analysis Based on a Discrete Binary Model for Signal Stochastic Quantization and Calculating a Weighted Correlation Function Estimate. |
ICST |
2020 |
DBLP BibTeX RDF |
|
1 | Hanna Ukhina, Ivan Afanasyev, Valerii Sytnikov, Oleg Streltsov, Pavel Stupen |
The Phase Response Values Application of Second-Order Digital Frequency-Dependent Components for Calculating Transfer Function Coefficients in Robotic Systems. |
ICST |
2020 |
DBLP BibTeX RDF |
|
1 | Yuriy S. Fedosenko, Dmitriy Khandurin, Anatoliy Sheyanov |
Model and Algorithms for Synthesis of Bi-Assignment. |
ICST |
2020 |
DBLP BibTeX RDF |
|
1 | Abdel-Badeeh M. Salem |
Computational Intelligence for Digital Healthcare. |
ICST |
2020 |
DBLP BibTeX RDF |
|
1 | Andrzej Rychlik |
The 5G Architecture for Scientific and Academic Computer Network. |
ICST |
2020 |
DBLP BibTeX RDF |
|
1 | Tetiana Shmelova, Oleksandr Burlaka |
Integration of Decision-Making Models for Decision Support System of UAVs Operator in Emergencies. |
ICST |
2020 |
DBLP BibTeX RDF |
|
1 | Gennady Khalimov, Yevgen Kotukh, Svitlana Khalimova |
MST3 Cryptosystem Based on a Generalized Suzuki 2-groups. |
ICST |
2020 |
DBLP BibTeX RDF |
|
1 | Oleh Pihnastyi, Valery Khodusov, Sergey Subbotin 0001 |
Linear Regression Model of the Conveyor Type Transport System. |
ICST |
2020 |
DBLP BibTeX RDF |
|
1 | Serhii Chalyi, Volodymyr Leshchynskyi |
Temporal Modeling of User Preferences in Recommender System. |
ICST |
2020 |
DBLP BibTeX RDF |
|
1 | Anastasiia Vavilenkova |
Modelling of the Context Links Between the Natural Language Sentences. |
ICST |
2020 |
DBLP BibTeX RDF |
|
1 | George N. Vostrov, Andrii Khrinenko |
Mathematical Modeling of Formation Processes of Sequences with Fractal Elements of Periodical Chaotic Dynamical System Trajectories. |
ICST |
2020 |
DBLP BibTeX RDF |
|
1 | Oksana Pichugina, Nadezhda Muravyova |
The Polyhedral-Surface Cutting-Plane Method for Linear Combinatorial Optimization. |
ICST |
2020 |
DBLP BibTeX RDF |
|
1 | Karina Melnyk, Natalia Borysova |
Integrated Technology for Personnel Assessment Based on the Competencies Model. |
ICST |
2020 |
DBLP BibTeX RDF |
|
1 | Olexander Trofymchuk, Volodymyr Vasyanin, Liudmyla Ushakova |
A Problem of Managing the Reserve of Capacity for the Arcs of a Communication Network. |
ICST |
2020 |
DBLP BibTeX RDF |
|
1 | Natalya Shramenko, Vladyslav Shramenko |
Simulation Model of the Process of Delivering Small Consignments in International Traffic Through the Terminal System. |
ICST |
2020 |
DBLP BibTeX RDF |
|
1 | Sergiy Gnatyuk, Vasyl Kinzeryavyy, Maksim Iavich, Roman Odarchenko, Rat Berdibayev, Yuliia Burmak |
Studies on Cryptographic Security and Speed Analysis of New Advanced Block Cipher. |
ICST |
2020 |
DBLP BibTeX RDF |
|
1 | Zhengmao Ye, Hang Yin, Wanjun Wang, Shuju Bai, Habib Mohamadian, Fang Sun, Adrian Qing Meng, Yongmao Ye |
Characteristic Analysis of DC and AC Fractional Order RLβCα Circuits for Stability Control and Performance Optimization. |
ICST |
2020 |
DBLP BibTeX RDF |
|
1 | Tetiana Hovorushchenko, Algirdas Pakstas, Vladimir Vychuzhanin, Hang Yin, Nickolay Rudnichenko (eds.) |
Proceedings of the 9th International Conference "Information Control Systems & Technologies", Odessa, Ukraine, September 24-26, 2020. |
ICST |
2020 |
DBLP BibTeX RDF |
|
1 | Denys Gobov, Catherine Maliarcuk, Nataliia Kunanets, Yurii Oliinyk |
Approaches for the Concept "Business Analysis" Definition in IT Projects and Frameworks. |
ICST |
2020 |
DBLP BibTeX RDF |
|
1 | Vladimir Lavrik, Sergey Homenyuk, Vitaliy Mezhuyev |
A Derivation of the Stiffness Matrix for a Tetrahedral Finite Element by the Method of Moment Schemes. |
ICST |
2020 |
DBLP BibTeX RDF |
|
1 | Vyacheslav Burlov, Oleg Lepeshkin, Michael Lepeshkin |
Mathematical Modeling of Management of Technosphere Safety in the Region. |
ICST |
2020 |
DBLP BibTeX RDF |
|
1 | Vsevolod Bohaienko |
Computing ψ-Caputo Fractional Derivative Values Using CUDA 10. |
ICST |
2020 |
DBLP BibTeX RDF |
|
1 | Dmytro Lukianov, Mikhail Mazeika, Viktor Gogunskii, Kateryna Kolesnikova |
SWOT Analysis as an Effective Way to Obtain Primary Data for Mathematical Modeling in Project Risk Management. |
ICST |
2020 |
DBLP BibTeX RDF |
|
1 | Mariia Havrylovych, Valeriiy Danylov, Aleksandr Gozhyj |
Comparative Analysis of using Recurrent Autoencoders for User Biometric Verification with Wearable Accelerometer. |
ICST |
2020 |
DBLP BibTeX RDF |
|
1 | Serhiy Shtovba, Viktor Mazurenko, Mykola Petrychko |
Information Technology for Extracting the Accurate, Compact and Interpretable Mamdani-type Rule Base. |
ICST |
2020 |
DBLP BibTeX RDF |
|
1 | Vladimir Vychuzhanin, Nicolay Rudnichenko, Natalia Shibaeva, Yuriy P. Kondratenko, Igor Gritsuk |
Cognitive-Impulse Model For Assessing Complex Technical Systems Survivability. |
ICST |
2020 |
DBLP BibTeX RDF |
|
1 | Zhengmao Ye, Hang Yin, Yongmao Ye |
Impact of Scalability and Density on Lifespan of Energy-Efficient Wireless Sensor Networks. |
ICST |
2020 |
DBLP BibTeX RDF |
|
1 | Olexander Barmak, Olexander Mazurets, Iurii Krak, Anatolii Kulias |
Method for Automated Test Tasks Creation for Educational Materials. |
ICST |
2020 |
DBLP BibTeX RDF |
|
1 | Iaroslav V. Lytvynenko, Serhii A. Lupenko, Vyacheslav Kharchenko, Andrii Horkunenko, Andrii Zozulia |
Approaches to Statistical Processing of Rhythmocardiosignal with Increased Resolution. |
ICST |
2020 |
DBLP BibTeX RDF |
|
1 | Tetiana Hovorushchenko, Alla Herts, Yelyzaveta Hnatchuk |
Modeling the Decision Making Process on Civil Law Regulation of Contracts for the Provision of Therapeutic Services. |
ICST |
2020 |
DBLP BibTeX RDF |
|
1 | Nicolay Rudnichenko, Svetlana Antoshchuk, Vladimir Vychuzhanin, Andrii Ben, Igor Petrov |
Information System for the Intellectual Assessment Customers Text Reviews Tonality Based on Artificial Neural Networks. |
ICST |
2020 |
DBLP BibTeX RDF |
|
1 | Rahim Mammadov, Elena Rahimova, Gurban Mammadov |
Invariant Image Recognition of Objects Using the Radon Transform. |
ICST |
2020 |
DBLP BibTeX RDF |
|
1 | Vyacheslav Burlov, Mikhail Grachev |
Mathematical Model of Management Decision Making That Takes Into Account the Technical and Human Factors. |
ICST |
2020 |
DBLP BibTeX RDF |
|
1 | Viktor Chuprynka, Natalia Chuprynka |
Mathematical and Software for Designing Rational Schemes of Cutting Rectangular Materials on Flat Geometric Objects With Complex Configuration of External Contours. |
ICST |
2020 |
DBLP BibTeX RDF |
|
1 | Oleksandr Drozd, Oleksandr Martynyuk, Kostiantyn Zashcholkin, Mykola Kuznietsov, Julia Drozd, Anastasiya Troynina |
A Method to Improve FPGA Project Checkability for Safety-Related Applications. |
ICST |
2020 |
DBLP BibTeX RDF |
|
1 | Pavel Stetsenko, Gennadiy Khalimov |
Blockchain-Based Protocol for Ensuring Authenticity of Data Origin in Cloud Environments. |
ICST |
2020 |
DBLP BibTeX RDF |
|
1 | Anatolii Kargin, Tetyana Petrenko |
Multi-level Computing With Words Model to Autonomous Systems Control. |
ICST |
2020 |
DBLP BibTeX RDF |
|
1 | Yurii Hryshchenko, Victor Romanenko, Maksym Zaliskyi |
Quality Assessment of Aircraft Glide Path Entrance. |
ICST |
2020 |
DBLP BibTeX RDF |
|
1 | Rahim Mammadov, Timur Aliyev |
Determination of the Spatial Orientation of Objects in Automated Production. |
ICST |
2020 |
DBLP BibTeX RDF |
|
1 | Mykola Korablyov, Natalia Axak, Oleksandr Fomichov, Andrii Chuprina |
Hybrid Neuro-Fuzzy Model with Immune Training for Recognition of Objects in an Image. |
ICST |
2020 |
DBLP BibTeX RDF |
|