SlideShare uma empresa Scribd logo
1 de 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

Mais conteúdo relacionado

Mais de StartupYard

Warrantly - Cloud Warranty Management Platform
Warrantly - Cloud Warranty Management PlatformWarrantly - Cloud Warranty Management Platform
Warrantly - Cloud Warranty Management Platform
StartupYard
 
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
 
StartupYard 2013 Demo Day - Agenda
StartupYard 2013 Demo Day - AgendaStartupYard 2013 Demo Day - Agenda
StartupYard 2013 Demo Day - Agenda
StartupYard
 

Mais de 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
 

Último

%+27788225528 love spells in Huntington Beach Psychic Readings, Attraction sp...
%+27788225528 love spells in Huntington Beach Psychic Readings, Attraction sp...%+27788225528 love spells in Huntington Beach Psychic Readings, Attraction sp...
%+27788225528 love spells in Huntington Beach Psychic Readings, Attraction sp...
masabamasaba
 
+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
 
%+27788225528 love spells in Knoxville Psychic Readings, Attraction spells,Br...
%+27788225528 love spells in Knoxville Psychic Readings, Attraction spells,Br...%+27788225528 love spells in Knoxville Psychic Readings, Attraction spells,Br...
%+27788225528 love spells in Knoxville Psychic Readings, Attraction spells,Br...
masabamasaba
 
%+27788225528 love spells in new york Psychic Readings, Attraction spells,Bri...
%+27788225528 love spells in new york Psychic Readings, Attraction spells,Bri...%+27788225528 love spells in new york Psychic Readings, Attraction spells,Bri...
%+27788225528 love spells in new york Psychic Readings, Attraction spells,Bri...
masabamasaba
 

Último (20)

Software Quality Assurance Interview Questions
Software Quality Assurance Interview QuestionsSoftware Quality Assurance Interview Questions
Software Quality Assurance Interview Questions
 
%+27788225528 love spells in Huntington Beach Psychic Readings, Attraction sp...
%+27788225528 love spells in Huntington Beach Psychic Readings, Attraction sp...%+27788225528 love spells in Huntington Beach Psychic Readings, Attraction sp...
%+27788225528 love spells in Huntington Beach Psychic Readings, Attraction sp...
 
Harnessing ChatGPT - Elevating Productivity in Today's Agile Environment
Harnessing ChatGPT  - Elevating Productivity in Today's Agile EnvironmentHarnessing ChatGPT  - Elevating Productivity in Today's Agile Environment
Harnessing ChatGPT - Elevating Productivity in Today's Agile Environment
 
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...
 
%in ivory park+277-882-255-28 abortion pills for sale in ivory park
%in ivory park+277-882-255-28 abortion pills for sale in ivory park %in ivory park+277-882-255-28 abortion pills for sale in ivory park
%in ivory park+277-882-255-28 abortion pills for sale in ivory park
 
WSO2Con2024 - Enabling Transactional System's Exponential Growth With Simplicity
WSO2Con2024 - Enabling Transactional System's Exponential Growth With SimplicityWSO2Con2024 - Enabling Transactional System's Exponential Growth With Simplicity
WSO2Con2024 - Enabling Transactional System's Exponential Growth With Simplicity
 
WSO2CON 2024 - Does Open Source Still Matter?
WSO2CON 2024 - Does Open Source Still Matter?WSO2CON 2024 - Does Open Source Still Matter?
WSO2CON 2024 - Does Open Source Still Matter?
 
MarTech Trend 2024 Book : Marketing Technology Trends (2024 Edition) How Data...
MarTech Trend 2024 Book : Marketing Technology Trends (2024 Edition) How Data...MarTech Trend 2024 Book : Marketing Technology Trends (2024 Edition) How Data...
MarTech Trend 2024 Book : Marketing Technology Trends (2024 Edition) How Data...
 
+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...
 
AI & Machine Learning Presentation Template
AI & Machine Learning Presentation TemplateAI & Machine Learning Presentation Template
AI & Machine Learning Presentation Template
 
Right Money Management App For Your Financial Goals
Right Money Management App For Your Financial GoalsRight Money Management App For Your Financial Goals
Right Money Management App For Your Financial Goals
 
Define the academic and professional writing..pdf
Define the academic and professional writing..pdfDefine the academic and professional writing..pdf
Define the academic and professional writing..pdf
 
%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 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
 
Introducing Microsoft’s new Enterprise Work Management (EWM) Solution
Introducing Microsoft’s new Enterprise Work Management (EWM) SolutionIntroducing Microsoft’s new Enterprise Work Management (EWM) Solution
Introducing Microsoft’s new Enterprise Work Management (EWM) Solution
 
Devoxx UK 2024 - Going serverless with Quarkus, GraalVM native images and AWS...
Devoxx UK 2024 - Going serverless with Quarkus, GraalVM native images and AWS...Devoxx UK 2024 - Going serverless with Quarkus, GraalVM native images and AWS...
Devoxx UK 2024 - Going serverless with Quarkus, GraalVM native images and AWS...
 
%+27788225528 love spells in Knoxville Psychic Readings, Attraction spells,Br...
%+27788225528 love spells in Knoxville Psychic Readings, Attraction spells,Br...%+27788225528 love spells in Knoxville Psychic Readings, Attraction spells,Br...
%+27788225528 love spells in Knoxville Psychic Readings, Attraction spells,Br...
 
%+27788225528 love spells in new york Psychic Readings, Attraction spells,Bri...
%+27788225528 love spells in new york Psychic Readings, Attraction spells,Bri...%+27788225528 love spells in new york Psychic Readings, Attraction spells,Bri...
%+27788225528 love spells in new york Psychic Readings, Attraction spells,Bri...
 
%in kempton park+277-882-255-28 abortion pills for sale in kempton park
%in kempton park+277-882-255-28 abortion pills for sale in kempton park %in kempton park+277-882-255-28 abortion pills for sale in kempton park
%in kempton park+277-882-255-28 abortion pills for sale in kempton park
 
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
 

VerifiQua

Notas do Editor

  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