SlideShare a Scribd company logo
1 of 13
Kamil Ježek
Lukáš Holý
75% programs
contain static errors
Did you know?
51% developers
unfamiliar with problem
Did you know?
Research in field
Kamil Ježek Lukáš Holý
Přemek Brada
University of West Bohemia in Pilsen
Static Error
LineIterator it = ...
String line = it.next();
class LineIterator {
Object next();
}
Global Opportunity
€ 160 millions
/ year
Automatic static
problems detection
Verification
Report
Pricing
2 GB
5 apps
10 GB
30 apps
30 GB
100 apps
€ 40 € 300 € 500 Local
Custom
Pilot
Openmatics (ZF), 2012-now
▪ Problem detection worth 5000 € / year
▪ Custom product, paid 7000 €
Application B
Application A
Platform
Global opportunity
No automatic tool
Currently expensive
Opportunity
Investment
€ 250 000
Demo
Application
Server
Report
Contact us
Kamil Ježek
kjezek@kiv.zcu.cz
Lukáš Holý lholy@kiv.zcu.cz

More Related Content

More from StartupYard

Czech the tech scene
Czech the tech sceneCzech the tech scene
Czech the tech sceneStartupYard
 
Warrantly - Cloud Warranty Management Platform
Warrantly - Cloud Warranty Management PlatformWarrantly - Cloud Warranty Management Platform
Warrantly - Cloud Warranty Management PlatformStartupYard
 
StartupYard 2014 Demo Day - Brochure
StartupYard 2014 Demo Day - BrochureStartupYard 2014 Demo Day - Brochure
StartupYard 2014 Demo Day - BrochureStartupYard
 
If You Fail to Plan Will Your Plan Fail? by Jaroslav Trojan
If You Fail to Plan Will Your Plan Fail? by Jaroslav TrojanIf You Fail to Plan Will Your Plan Fail? by Jaroslav Trojan
If You Fail to Plan Will Your Plan Fail? by Jaroslav TrojanStartupYard
 
Facebook Concepts For Startups by Jakub Svoboda
Facebook Concepts For Startups by Jakub SvobodaFacebook Concepts For Startups by Jakub Svoboda
Facebook Concepts For Startups by Jakub SvobodaStartupYard
 
Principy prodeje - Sylvie Šulcová
Principy prodeje - Sylvie ŠulcováPrincipy prodeje - Sylvie Šulcová
Principy prodeje - Sylvie ŠulcováStartupYard
 
Tipy a triky k testování použitelnosti - Lukáš Marvan
Tipy a triky k testování použitelnosti - Lukáš MarvanTipy a triky k testování použitelnosti - Lukáš Marvan
Tipy a triky k testování použitelnosti - Lukáš MarvanStartupYard
 
No PR Bullshit by Vojta Bednar for SummerStart
No PR Bullshit by Vojta Bednar for SummerStartNo PR Bullshit by Vojta Bednar for SummerStart
No PR Bullshit by Vojta Bednar for SummerStartStartupYard
 
StartupYard 2013 Demo Day - Handout
StartupYard 2013 Demo Day - HandoutStartupYard 2013 Demo Day - Handout
StartupYard 2013 Demo Day - HandoutStartupYard
 
StartupYard 2013 Demo Day - Y Combinator Lessons Learned by Andrej Pancik
StartupYard 2013 Demo Day - Y Combinator Lessons Learned by Andrej PancikStartupYard 2013 Demo Day - Y Combinator Lessons Learned by Andrej Pancik
StartupYard 2013 Demo Day - Y Combinator Lessons Learned by Andrej PancikStartupYard
 
StartupYard 2013 Demo Day - Yummy Food pitch by Kristina Sediva
StartupYard 2013 Demo Day - Yummy Food pitch by Kristina SedivaStartupYard 2013 Demo Day - Yummy Food pitch by Kristina Sediva
StartupYard 2013 Demo Day - Yummy Food pitch by Kristina SedivaStartupYard
 
StartupYard 2013 Demo Day - Agenda
StartupYard 2013 Demo Day - AgendaStartupYard 2013 Demo Day - Agenda
StartupYard 2013 Demo Day - AgendaStartupYard
 
StartupYard 2013 Demo Day - Travelatus pitch by Valentin Dombrovsky
StartupYard 2013 Demo Day - Travelatus pitch by Valentin DombrovskyStartupYard 2013 Demo Day - Travelatus pitch by Valentin Dombrovsky
StartupYard 2013 Demo Day - Travelatus pitch by Valentin DombrovskyStartupYard
 

More from StartupYard (20)

Czech the tech scene
Czech the tech sceneCzech the tech scene
Czech the tech scene
 
Warrantly - Cloud Warranty Management Platform
Warrantly - Cloud Warranty Management PlatformWarrantly - Cloud Warranty Management Platform
Warrantly - Cloud Warranty Management Platform
 
Famely
FamelyFamely
Famely
 
Evolso
EvolsoEvolso
Evolso
 
Gjirafa
GjirafaGjirafa
Gjirafa
 
MyPrepApp
MyPrepAppMyPrepApp
MyPrepApp
 
SentiSquare
SentiSquareSentiSquare
SentiSquare
 
YourPlace
YourPlaceYourPlace
YourPlace
 
Warrantly
WarrantlyWarrantly
Warrantly
 
StartupYard 2014 Demo Day - Brochure
StartupYard 2014 Demo Day - BrochureStartupYard 2014 Demo Day - Brochure
StartupYard 2014 Demo Day - Brochure
 
If You Fail to Plan Will Your Plan Fail? by Jaroslav Trojan
If You Fail to Plan Will Your Plan Fail? by Jaroslav TrojanIf You Fail to Plan Will Your Plan Fail? by Jaroslav Trojan
If You Fail to Plan Will Your Plan Fail? by Jaroslav Trojan
 
Facebook Concepts For Startups by Jakub Svoboda
Facebook Concepts For Startups by Jakub SvobodaFacebook Concepts For Startups by Jakub Svoboda
Facebook Concepts For Startups by Jakub Svoboda
 
Principy prodeje - Sylvie Šulcová
Principy prodeje - Sylvie ŠulcováPrincipy prodeje - Sylvie Šulcová
Principy prodeje - Sylvie Šulcová
 
Tipy a triky k testování použitelnosti - Lukáš Marvan
Tipy a triky k testování použitelnosti - Lukáš MarvanTipy a triky k testování použitelnosti - Lukáš Marvan
Tipy a triky k testování použitelnosti - Lukáš Marvan
 
No PR Bullshit by Vojta Bednar for SummerStart
No PR Bullshit by Vojta Bednar for SummerStartNo PR Bullshit by Vojta Bednar for SummerStart
No PR Bullshit by Vojta Bednar for SummerStart
 
StartupYard 2013 Demo Day - Handout
StartupYard 2013 Demo Day - HandoutStartupYard 2013 Demo Day - Handout
StartupYard 2013 Demo Day - Handout
 
StartupYard 2013 Demo Day - Y Combinator Lessons Learned by Andrej Pancik
StartupYard 2013 Demo Day - Y Combinator Lessons Learned by Andrej PancikStartupYard 2013 Demo Day - Y Combinator Lessons Learned by Andrej Pancik
StartupYard 2013 Demo Day - Y Combinator Lessons Learned by Andrej Pancik
 
StartupYard 2013 Demo Day - Yummy Food pitch by Kristina Sediva
StartupYard 2013 Demo Day - Yummy Food pitch by Kristina SedivaStartupYard 2013 Demo Day - Yummy Food pitch by Kristina Sediva
StartupYard 2013 Demo Day - Yummy Food pitch by Kristina Sediva
 
StartupYard 2013 Demo Day - Agenda
StartupYard 2013 Demo Day - AgendaStartupYard 2013 Demo Day - Agenda
StartupYard 2013 Demo Day - Agenda
 
StartupYard 2013 Demo Day - Travelatus pitch by Valentin Dombrovsky
StartupYard 2013 Demo Day - Travelatus pitch by Valentin DombrovskyStartupYard 2013 Demo Day - Travelatus pitch by Valentin Dombrovsky
StartupYard 2013 Demo Day - Travelatus pitch by Valentin Dombrovsky
 

Recently uploaded

Chinsurah Escorts ☎️8617697112 Starting From 5K to 15K High Profile Escorts ...
Chinsurah Escorts ☎️8617697112  Starting From 5K to 15K High Profile Escorts ...Chinsurah Escorts ☎️8617697112  Starting From 5K to 15K High Profile Escorts ...
Chinsurah Escorts ☎️8617697112 Starting From 5K to 15K High Profile Escorts ...Nitya salvi
 
%+27788225528 love spells in Vancouver Psychic Readings, Attraction spells,Br...
%+27788225528 love spells in Vancouver Psychic Readings, Attraction spells,Br...%+27788225528 love spells in Vancouver Psychic Readings, Attraction spells,Br...
%+27788225528 love spells in Vancouver Psychic Readings, Attraction spells,Br...masabamasaba
 
SHRMPro HRMS Software Solutions Presentation
SHRMPro HRMS Software Solutions PresentationSHRMPro HRMS Software Solutions Presentation
SHRMPro HRMS Software Solutions PresentationShrmpro
 
Direct Style Effect Systems - The Print[A] Example - A Comprehension Aid
Direct Style Effect Systems -The Print[A] Example- A Comprehension AidDirect Style Effect Systems -The Print[A] Example- A Comprehension Aid
Direct Style Effect Systems - The Print[A] Example - A Comprehension AidPhilip Schwarz
 
W01_panagenda_Navigating-the-Future-with-The-Hitchhikers-Guide-to-Notes-and-D...
W01_panagenda_Navigating-the-Future-with-The-Hitchhikers-Guide-to-Notes-and-D...W01_panagenda_Navigating-the-Future-with-The-Hitchhikers-Guide-to-Notes-and-D...
W01_panagenda_Navigating-the-Future-with-The-Hitchhikers-Guide-to-Notes-and-D...panagenda
 
%+27788225528 love spells in Atlanta Psychic Readings, Attraction spells,Brin...
%+27788225528 love spells in Atlanta Psychic Readings, Attraction spells,Brin...%+27788225528 love spells in Atlanta Psychic Readings, Attraction spells,Brin...
%+27788225528 love spells in Atlanta Psychic Readings, Attraction spells,Brin...masabamasaba
 
10 Trends Likely to Shape Enterprise Technology in 2024
10 Trends Likely to Shape Enterprise Technology in 202410 Trends Likely to Shape Enterprise Technology in 2024
10 Trends Likely to Shape Enterprise Technology in 2024Mind IT Systems
 
introduction-to-automotive Andoid os-csimmonds-ndctechtown-2021.pdf
introduction-to-automotive Andoid os-csimmonds-ndctechtown-2021.pdfintroduction-to-automotive Andoid os-csimmonds-ndctechtown-2021.pdf
introduction-to-automotive Andoid os-csimmonds-ndctechtown-2021.pdfVishalKumarJha10
 
+971565801893>>SAFE AND ORIGINAL ABORTION PILLS FOR SALE IN DUBAI AND ABUDHAB...
+971565801893>>SAFE AND ORIGINAL ABORTION PILLS FOR SALE IN DUBAI AND ABUDHAB...+971565801893>>SAFE AND ORIGINAL ABORTION PILLS FOR SALE IN DUBAI AND ABUDHAB...
+971565801893>>SAFE AND ORIGINAL ABORTION PILLS FOR SALE IN DUBAI AND ABUDHAB...Health
 
Reassessing the Bedrock of Clinical Function Models: An Examination of Large ...
Reassessing the Bedrock of Clinical Function Models: An Examination of Large ...Reassessing the Bedrock of Clinical Function Models: An Examination of Large ...
Reassessing the Bedrock of Clinical Function Models: An Examination of Large ...harshavardhanraghave
 
VTU technical seminar 8Th Sem on Scikit-learn
VTU technical seminar 8Th Sem on Scikit-learnVTU technical seminar 8Th Sem on Scikit-learn
VTU technical seminar 8Th Sem on Scikit-learnAmarnathKambale
 
Announcing Codolex 2.0 from GDK Software
Announcing Codolex 2.0 from GDK SoftwareAnnouncing Codolex 2.0 from GDK Software
Announcing Codolex 2.0 from GDK SoftwareJim McKeeth
 
TECUNIQUE: Success Stories: IT Service provider
TECUNIQUE: Success Stories: IT Service providerTECUNIQUE: Success Stories: IT Service provider
TECUNIQUE: Success Stories: IT Service providermohitmore19
 
%in Bahrain+277-882-255-28 abortion pills for sale in Bahrain
%in Bahrain+277-882-255-28 abortion pills for sale in Bahrain%in Bahrain+277-882-255-28 abortion pills for sale in Bahrain
%in Bahrain+277-882-255-28 abortion pills for sale in Bahrainmasabamasaba
 
AI Mastery 201: Elevating Your Workflow with Advanced LLM Techniques
AI Mastery 201: Elevating Your Workflow with Advanced LLM TechniquesAI Mastery 201: Elevating Your Workflow with Advanced LLM Techniques
AI Mastery 201: Elevating Your Workflow with Advanced LLM TechniquesVictorSzoltysek
 
%in tembisa+277-882-255-28 abortion pills for sale in tembisa
%in tembisa+277-882-255-28 abortion pills for sale in tembisa%in tembisa+277-882-255-28 abortion pills for sale in tembisa
%in tembisa+277-882-255-28 abortion pills for sale in tembisamasabamasaba
 
%in kaalfontein+277-882-255-28 abortion pills for sale in kaalfontein
%in kaalfontein+277-882-255-28 abortion pills for sale in kaalfontein%in kaalfontein+277-882-255-28 abortion pills for sale in kaalfontein
%in kaalfontein+277-882-255-28 abortion pills for sale in kaalfonteinmasabamasaba
 
Generic or specific? Making sensible software design decisions
Generic or specific? Making sensible software design decisionsGeneric or specific? Making sensible software design decisions
Generic or specific? Making sensible software design decisionsBert Jan Schrijver
 
%+27788225528 love spells in Colorado Springs Psychic Readings, Attraction sp...
%+27788225528 love spells in Colorado Springs Psychic Readings, Attraction sp...%+27788225528 love spells in Colorado Springs Psychic Readings, Attraction sp...
%+27788225528 love spells in Colorado Springs Psychic Readings, Attraction sp...masabamasaba
 
Shapes for Sharing between Graph Data Spaces - and Epistemic Querying of RDF-...
Shapes for Sharing between Graph Data Spaces - and Epistemic Querying of RDF-...Shapes for Sharing between Graph Data Spaces - and Epistemic Querying of RDF-...
Shapes for Sharing between Graph Data Spaces - and Epistemic Querying of RDF-...Steffen Staab
 

Recently uploaded (20)

Chinsurah Escorts ☎️8617697112 Starting From 5K to 15K High Profile Escorts ...
Chinsurah Escorts ☎️8617697112  Starting From 5K to 15K High Profile Escorts ...Chinsurah Escorts ☎️8617697112  Starting From 5K to 15K High Profile Escorts ...
Chinsurah Escorts ☎️8617697112 Starting From 5K to 15K High Profile Escorts ...
 
%+27788225528 love spells in Vancouver Psychic Readings, Attraction spells,Br...
%+27788225528 love spells in Vancouver Psychic Readings, Attraction spells,Br...%+27788225528 love spells in Vancouver Psychic Readings, Attraction spells,Br...
%+27788225528 love spells in Vancouver Psychic Readings, Attraction spells,Br...
 
SHRMPro HRMS Software Solutions Presentation
SHRMPro HRMS Software Solutions PresentationSHRMPro HRMS Software Solutions Presentation
SHRMPro HRMS Software Solutions Presentation
 
Direct Style Effect Systems - The Print[A] Example - A Comprehension Aid
Direct Style Effect Systems -The Print[A] Example- A Comprehension AidDirect Style Effect Systems -The Print[A] Example- A Comprehension Aid
Direct Style Effect Systems - The Print[A] Example - A Comprehension Aid
 
W01_panagenda_Navigating-the-Future-with-The-Hitchhikers-Guide-to-Notes-and-D...
W01_panagenda_Navigating-the-Future-with-The-Hitchhikers-Guide-to-Notes-and-D...W01_panagenda_Navigating-the-Future-with-The-Hitchhikers-Guide-to-Notes-and-D...
W01_panagenda_Navigating-the-Future-with-The-Hitchhikers-Guide-to-Notes-and-D...
 
%+27788225528 love spells in Atlanta Psychic Readings, Attraction spells,Brin...
%+27788225528 love spells in Atlanta Psychic Readings, Attraction spells,Brin...%+27788225528 love spells in Atlanta Psychic Readings, Attraction spells,Brin...
%+27788225528 love spells in Atlanta Psychic Readings, Attraction spells,Brin...
 
10 Trends Likely to Shape Enterprise Technology in 2024
10 Trends Likely to Shape Enterprise Technology in 202410 Trends Likely to Shape Enterprise Technology in 2024
10 Trends Likely to Shape Enterprise Technology in 2024
 
introduction-to-automotive Andoid os-csimmonds-ndctechtown-2021.pdf
introduction-to-automotive Andoid os-csimmonds-ndctechtown-2021.pdfintroduction-to-automotive Andoid os-csimmonds-ndctechtown-2021.pdf
introduction-to-automotive Andoid os-csimmonds-ndctechtown-2021.pdf
 
+971565801893>>SAFE AND ORIGINAL ABORTION PILLS FOR SALE IN DUBAI AND ABUDHAB...
+971565801893>>SAFE AND ORIGINAL ABORTION PILLS FOR SALE IN DUBAI AND ABUDHAB...+971565801893>>SAFE AND ORIGINAL ABORTION PILLS FOR SALE IN DUBAI AND ABUDHAB...
+971565801893>>SAFE AND ORIGINAL ABORTION PILLS FOR SALE IN DUBAI AND ABUDHAB...
 
Reassessing the Bedrock of Clinical Function Models: An Examination of Large ...
Reassessing the Bedrock of Clinical Function Models: An Examination of Large ...Reassessing the Bedrock of Clinical Function Models: An Examination of Large ...
Reassessing the Bedrock of Clinical Function Models: An Examination of Large ...
 
VTU technical seminar 8Th Sem on Scikit-learn
VTU technical seminar 8Th Sem on Scikit-learnVTU technical seminar 8Th Sem on Scikit-learn
VTU technical seminar 8Th Sem on Scikit-learn
 
Announcing Codolex 2.0 from GDK Software
Announcing Codolex 2.0 from GDK SoftwareAnnouncing Codolex 2.0 from GDK Software
Announcing Codolex 2.0 from GDK Software
 
TECUNIQUE: Success Stories: IT Service provider
TECUNIQUE: Success Stories: IT Service providerTECUNIQUE: Success Stories: IT Service provider
TECUNIQUE: Success Stories: IT Service provider
 
%in Bahrain+277-882-255-28 abortion pills for sale in Bahrain
%in Bahrain+277-882-255-28 abortion pills for sale in Bahrain%in Bahrain+277-882-255-28 abortion pills for sale in Bahrain
%in Bahrain+277-882-255-28 abortion pills for sale in Bahrain
 
AI Mastery 201: Elevating Your Workflow with Advanced LLM Techniques
AI Mastery 201: Elevating Your Workflow with Advanced LLM TechniquesAI Mastery 201: Elevating Your Workflow with Advanced LLM Techniques
AI Mastery 201: Elevating Your Workflow with Advanced LLM Techniques
 
%in tembisa+277-882-255-28 abortion pills for sale in tembisa
%in tembisa+277-882-255-28 abortion pills for sale in tembisa%in tembisa+277-882-255-28 abortion pills for sale in tembisa
%in tembisa+277-882-255-28 abortion pills for sale in tembisa
 
%in kaalfontein+277-882-255-28 abortion pills for sale in kaalfontein
%in kaalfontein+277-882-255-28 abortion pills for sale in kaalfontein%in kaalfontein+277-882-255-28 abortion pills for sale in kaalfontein
%in kaalfontein+277-882-255-28 abortion pills for sale in kaalfontein
 
Generic or specific? Making sensible software design decisions
Generic or specific? Making sensible software design decisionsGeneric or specific? Making sensible software design decisions
Generic or specific? Making sensible software design decisions
 
%+27788225528 love spells in Colorado Springs Psychic Readings, Attraction sp...
%+27788225528 love spells in Colorado Springs Psychic Readings, Attraction sp...%+27788225528 love spells in Colorado Springs Psychic Readings, Attraction sp...
%+27788225528 love spells in Colorado Springs Psychic Readings, Attraction sp...
 
Shapes for Sharing between Graph Data Spaces - and Epistemic Querying of RDF-...
Shapes for Sharing between Graph Data Spaces - and Epistemic Querying of RDF-...Shapes for Sharing between Graph Data Spaces - and Epistemic Querying of RDF-...
Shapes for Sharing between Graph Data Spaces - and Epistemic Querying of RDF-...
 

VerifiQua

Editor's Notes

  1. Strangi Finerelease Finebuild Finecompile goodcompile Cheqsta Verifica Verifiqua Depczech depinspec
  2. SY:so many people doing java and error and we want to fix that We found that there are so many errors in SW, also because of low knowledge 30% - z analýzy diskutovaných chyb na stackoverflow – může být i více, neboť OSS bývá lépe otestovaný COQ = cost of quality Campanella, J. (Ed.) (1999). Principles of Quality Costs: Principles, Implementation and Use, 3rd ed. Milwaukee, WI: ASQ Quality Press.
  3. SY:so many people doing java and error and we want to fix that We found that there are so many errors in SW, also because of low knowledge 30% - z analýzy diskutovaných chyb na stackoverflow – může být i více, neboť OSS bývá lépe otestovaný COQ = cost of quality Campanella, J. (Ed.) (1999). Principles of Quality Costs: Principles, Implementation and Use, 3rd ed. Milwaukee, WI: ASQ Quality Press.
  4. Poznamky SY: why we are here, start with the story passionate with the topic, so for last x years we are doing So we are … Založení nové s.r.o společnosti - Vývoj a prodej navrhovaného řešení Společnost využije - Již publikovaný výzkum, Open-source prototypové nástroje Spolupráce s univerzitou - Aplikovaný výzkum Cíl rozšíření a komercializace výzkumu
  5. SY: this is a static error Testovaná aplikace není spuštěna → netestuje chování, testuje správnost kompozice Chybějící metody, knihovny, moduly Nevhodné kombinace verzí
  6. But it turns out that automated detection would save lot of money and problems in the whole world.
  7. That’s why we would like to offer a cloud service that automatically detects static incompatibilities (?of modular software?) Where you upload a binary and receive report. Ověření zpětné kompatibility: Clirr, Japitools, Java ACC Nalezení chybějících modulů: Joops, Depfinder No direct competitors Integration or manual testing Few simple tools
  8. Offering following pay-as-you go pricing model we would be able to deliver our solution without any additional costs.
  9. So we started with the pilot project for Openmatics company, which started two years ago. The paid us 10K and they calculated actual savings as 7,5K per year for a console product. TODO neco o platforme 200 za rok??? -> opraveno na 150000 za rok usetreno na chybach
  10. And now imagine how this savings can be effectively scaled on a global market, where are no direct competitors.
  11. We look for 300 K investment to be able to provide such cloud service We expect Break-even-point in 18 months
  12. We will be pleasured to show you demo at your table/poster/place. Or answer questions directly or via email or so.
  13. cedric@startupyard.com