Tools and Methods of Program Analysis

5th International Conference, TMPA 2019, Tbilisi, Georgia, November 7–9, 2019, Revised Selected Papers

AvAnna Kalenkova,Jose A. Lozano

Häftad, Engelska, 2021

Del 1288 i serien Communications in Computer and Information Science

572 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Fler format och utgåvor

Häftad

740 kr

Häftad

571 kr

Beskrivning

This book constitutes the refereed proceedings of the 5th International Conference on Tools and Methods for Program Analysis, TMPA 2019, held in Tbilisi, Georgia, in November 2019.The 14 revised full papers and 2 revised short papers presented together with one keynote paper were carefully reviewed and selected from 41 submissions. The papers deal with topics such as software test automation, static program analysis, verification, dynamic methods of program analysis, testing and analysis of parallel and distributed systems, testing and analysis of high-load and high-availability systems, analysis and verification of hardware and software systems, methods of building quality software, tools for software analysis, testing and verification.

Produktinformation

Utgivningsdatum:2021-03-17
Mått:155 x 235 x 13 mm
Vikt:341 g
Format:Häftad
Språk:Engelska
Serie:Communications in Computer and Information Science
Antal sidor:209
Förlag:Springer Nature Switzerland AG
ISBN:9783030714710

Utforska kategorier

Programvaruutveckling inom Data och IT
Databaser inom Data och IT
Artificiell intelligens inom Data och IT

Innehållsförteckning

Partial Specifications of Libraries: Applications in Software Engineering.- Chaotic Time Series Prediction: Run for the Horizon.- Machine Learning and value generation in Software Development: a survey.- About using of Strings Similarity conception in software engineering.- Multi-Perspective Process Mining with Embedding Configurations into DB-based Event Logs.- On DB-nets and their Applications.- Pre-Processing Network Messages of Trading Systems into Event Log for Process Mining.- Time series classification based on visualization of recurrence plots.- Relation between Test Coverage and Timed Automata Model Structure.- Random Graph Model for Structural Analysis of Online Communications.- The in uence of self-organizing teams on the structure of the social graph.- Making Bounded Model Checking Interprocedural in (Static Analysis) Style.- Static Taint Analysis for JavaScript Programs.- Generation of Testing Metrics by Using Cluster Analysis of Bug Reports.- Building an Adaptive Logs Classification System An Industrial Report.- Development of Test Suite with Formally Verified FSM Coverage: A Case Study.- Generation of test-based traces for automated partial software specifications extraction.

Mer från samma författare

Wil M. P. van der Aalst, Vladimir Batagelj, Alexey Buzmakov, Dmitry I. Ignatov, Anna Kalenkova, Michael Khachay, Olessia Koltsova, Andrey Kutuzov, Sergei O. Kuznetsov, Irina A. Lomazova, Natalia Loukachevitch, Ilya Makarov, Amedeo Napoli, Alexander Panchenko, Panos M. Pardalos, Marcello Pelillo, Andrey V. Savchenko, Elena Tutubalina - Recent Trends in Analysis of Images, Social Networks and Texts, Häftad

Del 1357

Recent Trends in Analysis of Images, Social Networks and Texts

Wil M. P. van der Aalst, Vladimir Batagelj, Alexey Buzmakov, Dmitry I. Ignatov, Anna Kalenkova, Michael Khachay, Olessia Koltsova, Andrey Kutuzov, Sergei O. Kuznetsov, Irina A. Lomazova, Natalia Loukachevitch, Ilya Makarov, Amedeo Napoli, Alexander Panchenko, Panos M. Pardalos, Marcello Pelillo, Andrey V. Savchenko, Elena Tutubalina

Häftad, 2021

572 kr

Recent Trends in Analysis of Images, Social Networks and Texts

Elena Tutubalina, Andrey V. Savchenko, Marcello Pelillo, Panos M. Pardalos, Alexander Panchenko, Amedeo Napoli, Ilya Makarov, Natalia Loukachevitch, Irina A. Lomazova, Sergei O. Kuznetsov, Andrey Kutuzov, Olessia Koltsova, Michael Khachay, Anna Kalenkova, Dmitry I. Ignatov, Alexey Buzmakov, Vladimir Batagelj, Wil M. P. van der Aalst

E-bok

2021

739 kr

Tools and Methods of Program Analysis

Rostislav Yavorskiy, Jose A. Lozano, Anna Kalenkova

E-bok

2021

739 kr

Tools and Methods of Program Analysis

Anna Kalenkova, Ana Rosa Cavalli, Rostislav Yavorskiy

E-bok

2024

894 kr

Del 16567

Application and Theory of Petri Nets and Concurrency

Jörg Desel, Anna Kalenkova

Häftad, 2026

932 kr

Application and Theory of Petri Nets and Concurrency

Anna Kalenkova, Jorg Desel

E-bok

2026

1 141 kr

Mer från samma serie

András Benczúr, Bernhard Thalheim, Tomáš Horváth, Silvia Chiusano, Tania Cerquitelli, Csaba Sidló, Peter Z. Revesz - New Trends in Databases and Information Systems, Häftad

Del 909

New Trends in Databases and Information Systems

András Benczúr, Bernhard Thalheim, Tomáš Horváth, Silvia Chiusano, Tania Cerquitelli, Csaba Sidló, Peter Z. Revesz

Häftad, 2018

572 kr

Del 1862

ICT Education

Henri Emil Van Rensburg, Dirk Petrus Snyman, Lynette Drevin, Günther Richard Drevin

Häftad, 2024

700 kr

Serap Kurbanoğlu, Sonja Špiranec, Yurdagül Ünal, Joumana Boustany, Maija Leena Huotari, Esther Grassian, Diane Mizrachi, Loriene Roy - Information Literacy in Everyday Life, Häftad

Del 989

Information Literacy in Everyday Life

Serap Kurbanoğlu, Sonja Špiranec, Yurdagül Ünal, Joumana Boustany, Maija Leena Huotari, Esther Grassian, Diane Mizrachi, Loriene Roy

Häftad, 2019

1 073 kr

AI Agent for Information Retrieval: Generating and Ranking

Qingsong Wen, Yongfeng Zhang, Zhiwei Liu, Julian McAuley, Hua Wei, Linsey Pang, Wei Liu, Philip S. Yu

Häftad, 2026

853 kr

Information Literacy in an AI-Driven World

Serap Kurbanoğlu, Joumana Boustany, Sonja Špiranec, Yurdagül Ünal, İpek Şencan, Denis Kos, Esther Grassian, Loriene Roy, Diane Mizrachi

Häftad, 2026

964 kr

Michael Kamp, Irena Koprinska, Adrien Bibal, Tassadit Bouadi, Benoît Frénay, Luis Galárraga, José Oramas, Linara Adilova, Yamuna Krishnamurthy, Bo Kang, Christine Largeron, Jefrey Lijffijt, Tiphaine Viard, Pascal Welke, Massimiliano Ruocco, Erlend Aune, Claudio Gallicchio, Gregor Schiele, Franz Pernkopf, Michaela Blott, Holger Fröning, Günther Schindler, Riccardo Guidotti, Anna Monreale, Salvatore Rinzivillo, Przemyslaw Biecek, Eirini Ntoutsi, Mykola Pechenizkiy, Bodo Rosenhahn, Christopher Buckley, Daniela Cialfi, Pablo Lanillos, Maxwell Ramstead, Tim Verbelen, Pedro M. Ferreira, Giuseppina Andresini, Donato Malerba, Ibéria Medeiros, Philippe Fournier-Viger, M. Saqib Nawaz, Sebastian Ventura, Meng Sun, Min Zhou, Valerio Bitetta, Ilaria Bordino, Andrea Ferretti, Francesco Gullo, Giovanni Ponti, Lorenzo Severini, Rita Ribeiro, João Gama, Ricard Gavaldà, Lee Cooper, Naghmeh Ghazaleh, Jonas Richiardi, Damian Roqueiro, Diego Saldana Miranda, Konstantinos Sechidis, Guilherme Graça - Machine Learning and Principles and Practice of Knowledge Discovery in Databases, Häftad

Del 1524

Machine Learning and Principles and Practice of Knowledge Discovery in Databases

Michael Kamp, Irena Koprinska, Adrien Bibal, Tassadit Bouadi, Benoît Frénay, Luis Galárraga, José Oramas, Linara Adilova, Yamuna Krishnamurthy, Bo Kang, Christine Largeron, Jefrey Lijffijt, Tiphaine Viard, Pascal Welke, Massimiliano Ruocco, Erlend Aune, Claudio Gallicchio, Gregor Schiele, Franz Pernkopf, Michaela Blott, Holger Fröning, Günther Schindler, Riccardo Guidotti, Anna Monreale, Salvatore Rinzivillo, Przemyslaw Biecek, Eirini Ntoutsi, Mykola Pechenizkiy, Bodo Rosenhahn, Christopher Buckley, Daniela Cialfi, Pablo Lanillos, Maxwell Ramstead, Tim Verbelen, Pedro M. Ferreira, Giuseppina Andresini, Donato Malerba, Ibéria Medeiros, Philippe Fournier-Viger, M. Saqib Nawaz, Sebastian Ventura, Meng Sun, Min Zhou, Valerio Bitetta, Ilaria Bordino, Andrea Ferretti, Francesco Gullo, Giovanni Ponti, Lorenzo Severini, Rita Ribeiro, João Gama, Ricard Gavaldà, Lee Cooper, Naghmeh Ghazaleh, Jonas Richiardi, Damian Roqueiro, Diego Saldana Miranda, Konstantinos Sechidis, Guilherme Graça

Häftad, 2022

1 606 kr

Del 927

Semantic Web Challenges

Davide Buscaldi, Aldo Gangemi, Diego Reforgiato Recupero

Häftad, 2018

572 kr

Del 915

Applied Computer Sciences in Engineering

Juan Carlos Figueroa-García, Eduyn Ramiro López-Santana, José Ignacio Rodriguez-Molano

Häftad, 2018

540 kr

Del 916

Applied Computer Sciences in Engineering

Juan Carlos Figueroa-García, Juan G. Villegas, Juan Rafael Orozco-Arroyave, Pablo Andres Maya Duque

Häftad, 2018

555 kr

Del 934

Artificial Intelligence

Sergei O. Kuznetsov, Gennady S. Osipov, Vadim L. Stefanuk

Häftad, 2018

572 kr

Du kanske också är intresserad av

10% rabatt på allt

Exit Adventskalender - Julens magi (SE)

Exit

499 kr

Del 1288

Chromatin Protocols

Srikumar P. Chellappan

Häftad, 2016

1 214 kr

Del 1288

Über Aufbau, Eigenschaften Und Prüfmethoden Feuerfester Mörtel

Hans-Ernst Schwiete

Häftad, 1964

563 kr

Del 1288

Proceedings of the Future Technologies Conference (FTC) 2020, Volume 1

Kohei Arai, Supriya Kapoor, Rahul Bhatia

Häftad, 2020

3 299 kr

Del 1288

Generalized Analytic Functions on Riemann Surfaces

Yuri L. Rodin

Häftad, 1987

281 kr

Del 1288

Chromatin Protocols

Srikumar P. Chellappan

Inbunden, 2015

1 653 kr

Del 1559

Tools and Methods of Program Analysis

Rostislav Yavorskiy, Ana Rosa Cavalli, Anna Kalenkova

Häftad, 2024

740 kr

Del 1288

Kino 1. Das Bewegungs-Bild

Gilles Deleuze

Häftad

257 kr

Del 1288

Proceedings of the 11th Frontier Academic Forum of Electrical Engineering (FAFEE2024)

Qingxin Yang, Jian Li

Inbunden, 2024

3 845 kr

Del 1288

Data Processing and Networking

Abhishek Swaroop, Bal Virdee, Sérgio Duarte Correia, Jan Valicek

Häftad, 2025

2 748 kr

Tools and Methods of Program Analysis

5th International Conference, TMPA 2019, Tbilisi, Georgia, November 7–9, 2019, Revised Selected Papers

AvAnna Kalenkova,Jose A. Lozano

Häftad, Engelska, 2021

Del 1288 i serien Communications in Computer and Information Science

572 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Fler format och utgåvor

Häftad

740 kr

Häftad

571 kr

Beskrivning

Produktinformation

Utgivningsdatum:2021-03-17
Mått:155 x 235 x 13 mm
Vikt:341 g
Format:Häftad
Språk:Engelska
Serie:Communications in Computer and Information Science
Antal sidor:209
Förlag:Springer Nature Switzerland AG
ISBN:9783030714710

Utforska kategorier

Programvaruutveckling inom Data och IT
Databaser inom Data och IT
Artificiell intelligens inom Data och IT

Innehållsförteckning

Partial Specifications of Libraries: Applications in Software Engineering.- Chaotic Time Series Prediction: Run for the Horizon.- Machine Learning and value generation in Software Development: a survey.- About using of Strings Similarity conception in software engineering.- Multi-Perspective Process Mining with Embedding Configurations into DB-based Event Logs.- On DB-nets and their Applications.- Pre-Processing Network Messages of Trading Systems into Event Log for Process Mining.- Time series classification based on visualization of recurrence plots.- Relation between Test Coverage and Timed Automata Model Structure.- Random Graph Model for Structural Analysis of Online Communications.- The in uence of self-organizing teams on the structure of the social graph.- Making Bounded Model Checking Interprocedural in (Static Analysis) Style.- Static Taint Analysis for JavaScript Programs.- Generation of Testing Metrics by Using Cluster Analysis of Bug Reports.- Building an Adaptive Logs Classification System An Industrial Report.- Development of Test Suite with Formally Verified FSM Coverage: A Case Study.- Generation of test-based traces for automated partial software specifications extraction.