{"id":"https://openalex.org/W1559105220","doi":"https://doi.org/10.1007/978-3-642-12002-2_37","title":"Efficient Detection of Errors in Java Components Using Random Environment and Restarts","display_name":"Efficient Detection of Errors in Java Components Using Random Environment and Restarts","publication_year":2010,"publication_date":"2010-01-01","ids":{"openalex":"https://openalex.org/W1559105220","doi":"https://doi.org/10.1007/978-3-642-12002-2_37","mag":"1559105220"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-642-12002-2_37","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-642-12002-2_37","pdf_url":"https://link.springer.com/content/pdf/10.1007%2F978-3-642-12002-2_37.pdf","source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"type":"book-chapter","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"bronze","oa_url":"https://link.springer.com/content/pdf/10.1007%2F978-3-642-12002-2_37.pdf","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5083747832","display_name":"Pavel Par\u00edzek","orcid":"https://orcid.org/0000-0003-0714-7446"},"institutions":[{"id":"https://openalex.org/I21250087","display_name":"Charles University","ror":"https://ror.org/024d6js02","country_code":"CZ","type":"education","lineage":["https://openalex.org/I21250087"]}],"countries":["CZ"],"is_corresponding":true,"raw_author_name":"Pavel Parizek","raw_affiliation_strings":["Distributed Systems Research Group, Department of Software Engineering, Faculty of Mathematics and Physics, Charles University in Prague, Prague 1, Czech Republic","Distributed Systems Research Group, Department of Software Engineering, Faculty of Mathematics and Physics, Charles University in Prague, Prague 1, Czech Republic#TAB#"],"affiliations":[{"raw_affiliation_string":"Distributed Systems Research Group, Department of Software Engineering, Faculty of Mathematics and Physics, Charles University in Prague, Prague 1, Czech Republic","institution_ids":["https://openalex.org/I21250087"]},{"raw_affiliation_string":"Distributed Systems Research Group, Department of Software Engineering, Faculty of Mathematics and Physics, Charles University in Prague, Prague 1, Czech Republic#TAB#","institution_ids":["https://openalex.org/I21250087"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5064696941","display_name":"Tom\u00e1\u0161 Kalibera","orcid":null},"institutions":[{"id":"https://openalex.org/I21250087","display_name":"Charles University","ror":"https://ror.org/024d6js02","country_code":"CZ","type":"education","lineage":["https://openalex.org/I21250087"]}],"countries":["CZ"],"is_corresponding":false,"raw_author_name":"Tomas Kalibera","raw_affiliation_strings":["Distributed Systems Research Group, Department of Software Engineering, Faculty of Mathematics and Physics, Charles University in Prague, Prague 1, Czech Republic","Distributed Systems Research Group, Department of Software Engineering, Faculty of Mathematics and Physics, Charles University in Prague, Prague 1, Czech Republic#TAB#"],"affiliations":[{"raw_affiliation_string":"Distributed Systems Research Group, Department of Software Engineering, Faculty of Mathematics and Physics, Charles University in Prague, Prague 1, Czech Republic","institution_ids":["https://openalex.org/I21250087"]},{"raw_affiliation_string":"Distributed Systems Research Group, Department of Software Engineering, Faculty of Mathematics and Physics, Charles University in Prague, Prague 1, Czech Republic#TAB#","institution_ids":["https://openalex.org/I21250087"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5083747832"],"corresponding_institution_ids":["https://openalex.org/I21250087"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":0.0,"has_fulltext":true,"cited_by_count":2,"citation_normalized_percentile":{"value":0.1444493,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":null,"issue":null,"first_page":"451","last_page":"465"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9998000264167786,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9998000264167786,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9998000264167786,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T12423","display_name":"Software Reliability and Analysis Research","score":0.9998000264167786,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8842630982398987},{"id":"https://openalex.org/keywords/java","display_name":"Java","score":0.7851800918579102},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.3566473126411438},{"id":"https://openalex.org/keywords/real-time-computing","display_name":"Real-time computing","score":0.348690390586853},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.26104772090911865}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8842630982398987},{"id":"https://openalex.org/C548217200","wikidata":"https://www.wikidata.org/wiki/Q251","display_name":"Java","level":2,"score":0.7851800918579102},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3566473126411438},{"id":"https://openalex.org/C79403827","wikidata":"https://www.wikidata.org/wiki/Q3988","display_name":"Real-time computing","level":1,"score":0.348690390586853},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.26104772090911865}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1007/978-3-642-12002-2_37","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-642-12002-2_37","pdf_url":"https://link.springer.com/content/pdf/10.1007%2F978-3-642-12002-2_37.pdf","source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.158.4331","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.158.4331","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://nenya.ms.mff.cuni.cz/publications/ParizekKalibera-RandomEnvRestarts.pdf","raw_type":"text"},{"id":"pmh:oai:kar.kent.ac.uk:30681","is_oa":false,"landing_page_url":"https://kar.kent.ac.uk/30681/","pdf_url":null,"source":{"id":"https://openalex.org/S4377196264","display_name":"Kent Academic Repository (University of Kent)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I20581793","host_organization_name":"University of Kent","host_organization_lineage":["https://openalex.org/I20581793"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Book section"}],"best_oa_location":{"id":"doi:10.1007/978-3-642-12002-2_37","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-642-12002-2_37","pdf_url":"https://link.springer.com/content/pdf/10.1007%2F978-3-642-12002-2_37.pdf","source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G5820817893","display_name":null,"funder_award_id":"MSM0021620838","funder_id":"https://openalex.org/F4320321006","funder_display_name":"Grantov\u00e1 Agentura \u010cesk\u00e9 Republiky"}],"funders":[{"id":"https://openalex.org/F4320321006","display_name":"Grantov\u00e1 Agentura \u010cesk\u00e9 Republiky","ror":"https://ror.org/01pv73b02"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W1559105220.pdf","grobid_xml":"https://content.openalex.org/works/W1559105220.grobid-xml"},"referenced_works_count":24,"referenced_works":["https://openalex.org/W203746830","https://openalex.org/W1493367105","https://openalex.org/W1518705996","https://openalex.org/W1551913526","https://openalex.org/W1556566737","https://openalex.org/W1862182621","https://openalex.org/W1929252444","https://openalex.org/W2036802481","https://openalex.org/W2064976529","https://openalex.org/W2085262400","https://openalex.org/W2094855848","https://openalex.org/W2101161997","https://openalex.org/W2119190805","https://openalex.org/W2130178878","https://openalex.org/W2133348162","https://openalex.org/W2148778089","https://openalex.org/W2148818117","https://openalex.org/W2154318861","https://openalex.org/W2161436545","https://openalex.org/W2171480813","https://openalex.org/W2488032294","https://openalex.org/W2561675875","https://openalex.org/W2608239929","https://openalex.org/W4231708524"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2748952813","https://openalex.org/W2051487156","https://openalex.org/W2073681303","https://openalex.org/W2390279801","https://openalex.org/W2358668433","https://openalex.org/W4396701345","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W4396696052"],"abstract_inverted_index":null,"counts_by_year":[{"year":2018,"cited_by_count":1},{"year":2016,"cited_by_count":1}],"updated_date":"2026-04-10T15:06:20.359241","created_date":"2025-10-10T00:00:00"}