Automatic Generation of Unit Tests for Correlated Variables in Parallel Programs
A notorious class of concurrency bugs are race condition related to correlated variables, which make up about 30 % of all non-deadlock concurrency bugs. A solution to prevent this problem is the automatic generation of parallel unit tests. This paper presents an approach to generate parallel unit te...
Uloženo v:
| Vydáno v: | International journal of parallel programming Ročník 44; číslo 3; s. 644 - 662 |
|---|---|
| Hlavní autoři: | , |
| Médium: | Journal Article |
| Jazyk: | angličtina |
| Vydáno: |
New York
Springer US
01.06.2016
Springer Nature B.V |
| Témata: | |
| ISSN: | 0885-7458, 1573-7640 |
| On-line přístup: | Získat plný text |
| Tagy: |
Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
|
| Abstract | A notorious class of concurrency bugs are race condition related to correlated variables, which make up about 30 % of all non-deadlock concurrency bugs. A solution to prevent this problem is the automatic generation of parallel unit tests. This paper presents an approach to generate parallel unit tests for variable correlations in multithreaded code. We introduce a hybrid approach for identifying correlated variables. Furthermore, we estimate the number of potentially violated correlations for methods executed in parallel. In this way, we are capable of creating unit tests that are suited for race detectors considering correlated variables. We were able to identify more than 85 % of all race conditions on correlated variables in eight applications after applying our parallel unit tests. At the same time, we reduced the number of unnecessary generated unit tests. In comparison to a test generator unaware of variable correlations, redundant unit tests are reduced by up to 50 %, while maintaining the same precision and accuracy in terms of the number of detected races. |
|---|---|
| AbstractList | Issue Title: Special Issue on High-Level Parallel Programming and Applications A notorious class of concurrency bugs are race condition related to correlated variables, which make up about 30 % of all non-deadlock concurrency bugs. A solution to prevent this problem is the automatic generation of parallel unit tests. This paper presents an approach to generate parallel unit tests for variable correlations in multithreaded code. We introduce a hybrid approach for identifying correlated variables. Furthermore, we estimate the number of potentially violated correlations for methods executed in parallel. In this way, we are capable of creating unit tests that are suited for race detectors considering correlated variables. We were able to identify more than 85 % of all race conditions on correlated variables in eight applications after applying our parallel unit tests. At the same time, we reduced the number of unnecessary generated unit tests. In comparison to a test generator unaware of variable correlations, redundant unit tests are reduced by up to 50 %, while maintaining the same precision and accuracy in terms of the number of detected races. A notorious class of concurrency bugs are race condition related to correlated variables, which make up about 30 % of all non-deadlock concurrency bugs. A solution to prevent this problem is the automatic generation of parallel unit tests. This paper presents an approach to generate parallel unit tests for variable correlations in multithreaded code. We introduce a hybrid approach for identifying correlated variables. Furthermore, we estimate the number of potentially violated correlations for methods executed in parallel. In this way, we are capable of creating unit tests that are suited for race detectors considering correlated variables. We were able to identify more than 85 % of all race conditions on correlated variables in eight applications after applying our parallel unit tests. At the same time, we reduced the number of unnecessary generated unit tests. In comparison to a test generator unaware of variable correlations, redundant unit tests are reduced by up to 50 %, while maintaining the same precision and accuracy in terms of the number of detected races. A notorious class of concurrency bugs are race condition related to correlated variables, which make up about 30 % of all non-deadlock concurrency bugs. A solution to prevent this problem is the automatic generation of parallel unit tests. This paper presents an approach to generate parallel unit tests for variable correlations in multithreaded code. We introduce a hybrid approach for identifying correlated variables. Furthermore, we estimate the number of potentially violated correlations for methods executed in parallel. In this way, we are capable of creating unit tests that are suited for race detectors considering correlated variables. We were able to identify more than 85 % of all race conditions on correlated variables in eight applications after applying our parallel unit tests. At the same time, we reduced the number of unnecessary generated unit tests. In comparison to a test generator unaware of variable correlations, redundant unit tests are reduced by up to 50 %, while maintaining the same precision and accuracy in terms of the number of detected races. |
| Author | Jannesari, Ali Wolf, Felix |
| Author_xml | – sequence: 1 givenname: Ali surname: Jannesari fullname: Jannesari, Ali email: a.jannesari@grs-sim.de organization: German Research School for Simulation Sciences, RWTH Aachen University – sequence: 2 givenname: Felix surname: Wolf fullname: Wolf, Felix organization: German Research School for Simulation Sciences, RWTH Aachen University |
| BookMark | eNp9kEFLwzAYhoNMcJv-AG8BL16qX5q2SY9j6BQG7rB5DVn7ZXRkyUy6g__ezHmQgZ6SwPOEl2dEBs47JOSWwQMDEI-RgaiqDFiZAa94Ji_IkJWCZ6IqYECGIGWZiaKUV2QU4xYAaiHlkCwmh97vdN81dIYOQ7p5R72hK9f1dImxj9T4QKc-BLS6x5a-69DptcVIO0cXOmhr0dJF8Jugd_GaXBptI978nGOyen5aTl-y-dvsdTqZZw0v6j7TRhgDdcE45nVrzFpXuWRt2RiZ1wVwvoYiR8Prss2xLcCU0DIusJE8PQzyMbk__bsP_uOQdqpdFxu0Vjv0h6iYBMkYr2uR0LszdOsPwaV1ignJZck5KxIlTlQTfIwBjWq6_jtHH3RnFQN1LK1OpVUqrY6llUwmOzP3odvp8Pmvk5-cmFi3wfBr05_SFw89kcw |
| CODEN | IJPPE5 |
| CitedBy_id | crossref_primary_10_1109_ACCESS_2019_2901588 crossref_primary_10_1109_TSE_2020_3019406 |
| Cites_doi | 10.1145/1273442.1250746 10.1109/ICECCS.2005.37 10.1145/1346281.1346323 10.1109/ICSE.2012.6227145 10.1109/APSEC.1999.809654 10.1145/1111320.1111067 10.1109/IPDPS.2010.5470343 10.1007/978-3-540-71410-1_2 10.1145/1390841.1390847 10.1007/978-3-642-12029-9_23 10.1109/IPDPS.2009.5160998 10.1109/IWAST.2013.6595789 10.1007/978-3-642-24650-0_3 10.1145/1294261.1294272 |
| ContentType | Journal Article |
| Copyright | Springer Science+Business Media New York 2015 Springer Science+Business Media New York 2016 |
| Copyright_xml | – notice: Springer Science+Business Media New York 2015 – notice: Springer Science+Business Media New York 2016 |
| DBID | AAYXX CITATION 3V. 7SC 7WY 7WZ 7XB 87Z 8AL 8FD 8FE 8FG 8FK 8FL 8G5 ABUWG AFKRA ARAPS AZQEC BENPR BEZIV BGLVJ CCPQU DWQXO FRNLG F~G GNUQQ GUQSH HCIFZ JQ2 K60 K6~ K7- L.- L.0 L7M L~C L~D M0C M0N M2O MBDVC P5Z P62 PHGZM PHGZT PKEHL PQBIZ PQBZA PQEST PQGLB PQQKQ PQUKI Q9U |
| DOI | 10.1007/s10766-015-0363-8 |
| DatabaseName | CrossRef ProQuest Central (Corporate) Computer and Information Systems Abstracts ABI商业信息数据库 ABI/INFORM Global (PDF only) ProQuest Central (purchase pre-March 2016) ABI/INFORM Global (Alumni Edition) Computing Database (Alumni Edition) Technology Research Database ProQuest SciTech Collection ProQuest Technology Collection ProQuest Central (Alumni) (purchase pre-March 2016) ABI/INFORM Collection (Alumni Edition) Research Library (Alumni Edition) ProQuest Central (Alumni) ProQuest Central UK/Ireland Advanced Technologies & Computer Science Collection ProQuest Central Essentials ProQuest Central Business Premium Collection Technology collection ProQuest One Community College ProQuest Central Business Premium Collection (Alumni) ABI/INFORM Global (Corporate) ProQuest Central Student Research Library Prep SciTech Premium Collection ProQuest Computer Science Collection ProQuest Business Collection (Alumni Edition) ProQuest Business Collection Computer Science Database ABI/INFORM Professional Advanced ABI/INFORM Professional Standard Advanced Technologies Database with Aerospace Computer and Information Systems Abstracts Academic Computer and Information Systems Abstracts Professional ABI/INFORM Global (OCUL) Computing Database ProQuest research library Research Library (Corporate) ProQuest advanced technologies & aerospace journals ProQuest Advanced Technologies & Aerospace Collection ProQuest Central Premium ProQuest One Academic ProQuest One Academic Middle East (New) ProQuest One Business ProQuest One Business (Alumni) ProQuest One Academic Eastern Edition (DO NOT USE) ProQuest One Applied & Life Sciences ProQuest One Academic (retired) ProQuest One Academic UKI Edition ProQuest Central Basic |
| DatabaseTitle | CrossRef ABI/INFORM Global (Corporate) ProQuest Business Collection (Alumni Edition) ProQuest One Business Research Library Prep Computer Science Database ProQuest Central Student Technology Collection Technology Research Database Computer and Information Systems Abstracts – Academic ProQuest One Academic Middle East (New) ProQuest Advanced Technologies & Aerospace Collection ProQuest Central Essentials ProQuest Computer Science Collection Computer and Information Systems Abstracts ProQuest Central (Alumni Edition) SciTech Premium Collection ProQuest One Community College Research Library (Alumni Edition) ABI/INFORM Complete ProQuest Central ABI/INFORM Professional Advanced ProQuest One Applied & Life Sciences ABI/INFORM Professional Standard ProQuest Central Korea ProQuest Research Library ProQuest Central (New) Advanced Technologies Database with Aerospace ABI/INFORM Complete (Alumni Edition) Advanced Technologies & Aerospace Collection Business Premium Collection ABI/INFORM Global ProQuest Computing ABI/INFORM Global (Alumni Edition) ProQuest Central Basic ProQuest Computing (Alumni Edition) ProQuest One Academic Eastern Edition ProQuest Technology Collection ProQuest SciTech Collection ProQuest Business Collection Computer and Information Systems Abstracts Professional Advanced Technologies & Aerospace Database ProQuest One Academic UKI Edition ProQuest One Business (Alumni) ProQuest One Academic ProQuest One Academic (New) ProQuest Central (Alumni) Business Premium Collection (Alumni) |
| DatabaseTitleList | ABI/INFORM Global (Corporate) Computer and Information Systems Abstracts |
| Database_xml | – sequence: 1 dbid: BENPR name: ProQuest Central url: https://www.proquest.com/central sourceTypes: Aggregation Database |
| DeliveryMethod | fulltext_linktorsrc |
| Discipline | Computer Science |
| EISSN | 1573-7640 |
| EndPage | 662 |
| ExternalDocumentID | 4033358321 10_1007_s10766_015_0363_8 |
| Genre | Feature |
| GroupedDBID | -4Z -59 -5G -BR -EM -Y2 -~C -~X .4S .86 .DC .VR 06D 0R~ 0VY 199 1N0 2.D 203 28- 29J 2J2 2JN 2JY 2KG 2LR 2P1 2VQ 2~H 30V 3V. 4.4 406 408 409 40D 40E 5GY 5QI 5VS 67Z 6NX 78A 7WY 8FE 8FG 8FL 8G5 8TC 8UJ 95- 95. 95~ 96X AAAVM AABHQ AACDK AAHNG AAIAL AAJBT AAJKR AANZL AAOBN AARHV AARTL AASML AATNV AATVU AAUYE AAWCG AAYIU AAYJJ AAYQN AAYTO AAYZH ABAKF ABBBX ABBXA ABDBF ABDPE ABDZT ABECU ABFSI ABFTD ABFTV ABHLI ABHQN ABJNI ABJOX ABKCH ABKTR ABMNI ABMQK ABNWP ABQBU ABQSL ABSXP ABTAH ABTEG ABTHY ABTKH ABTMW ABULA ABUWG ABWNU ABXPI ACAOD ACBXY ACDTI ACGFO ACGFS ACHSB ACHXU ACIHN ACKNC ACMDZ ACMLO ACNCT ACOKC ACOMO ACPIV ACREN ACUHS ACZOJ ADHIR ADINQ ADKNI ADKPE ADMLS ADRFC ADTPH ADURQ ADYFF ADYOE ADZKW AEAQA AEBTG AEFIE AEFQL AEGAL AEGNC AEJHL AEJRE AEKMD AEMSY AENEX AEOHA AEPYU AESKC AETLH AEVLU AEXYK AFBBN AFEXP AFGCZ AFKRA AFLOW AFQWF AFWTZ AFYQB AFZKB AGAYW AGDGC AGGDS AGJBK AGMZJ AGQEE AGQMX AGRTI AGWIL AGWZB AGYKE AHAVH AHBYD AHKAY AHSBF AHYZX AIAKS AIGIU AIIXL AILAN AITGF AJBLW AJRNO AJZVZ ALMA_UNASSIGNED_HOLDINGS ALWAN AMKLP AMTXH AMXSW AMYLF AOCGG ARAPS ARCSS ARMRJ AXYYD AYJHY AZFZN AZQEC B-. B0M BA0 BBWZM BDATZ BENPR BEZIV BGLVJ BGNMA BKOMP BPHCQ BSONS CAG CCPQU COF CS3 CSCUP DDRTE DL5 DNIVK DPUIP DU5 DWQXO E.L EAD EAP EAS EBLON EBS EDO EIOEI EJD EMK EPL ESBYG ESX FEDTE FERAY FFXSO FIGPU FINBP FNLPD FRNLG FRRFC FSGXE FWDCC GGCAI GGRSB GJIRD GNUQQ GNWQR GQ6 GQ7 GQ8 GROUPED_ABI_INFORM_COMPLETE GROUPED_ABI_INFORM_RESEARCH GUQSH GXS H13 HCIFZ HF~ HG5 HG6 HMJXF HQYDN HRMNR HVGLF HZ~ H~9 I-F I09 IHE IJ- IKXTQ ITM IWAJR IXC IZIGR IZQ I~X I~Z J-C J0Z JBSCW JCJTX JZLTJ K60 K6V K6~ K7- KDC KOV KOW LAK LLZTM M0C M0N M2O M4Y MA- MS~ N2Q NB0 NDZJH NPVJJ NQJWS NU0 O9- O93 O9G O9I O9J OAM OVD P19 P62 P9O PF0 PQBIZ PQBZA PQQKQ PROAC PT4 PT5 Q2X QOK QOS R89 R9I RHV RNI RNS ROL RPX RSV RZC RZE RZK S16 S1Z S26 S27 S28 S3B SAP SCJ SCLPG SCO SDH SDM SHX SISQX SJYHP SNE SNPRN SNX SOHCF SOJ SPISZ SRMVM SSLCW STPWE SZN T13 T16 TAE TEORI TN5 TSG TSK TSV TUC TUS U2A U5U UG4 UOJIU UTJUX UZXMN VC2 VFIZW VXZ W23 W48 WH7 WK8 YLTOR Z45 Z7R Z7X Z81 Z83 Z88 Z8R Z8W Z92 ZMTXR ZY4 ~8M ~EX AAPKM AAYXX ABBRH ABDBE ABFSG ABRTQ ACSTC ADHKG AEZWR AFDZB AFFHD AFHIU AFOHR AGQPQ AHPBZ AHWEU AIXLP ATHPR AYFIA CITATION PHGZM PHGZT PQGLB 7SC 7XB 8AL 8FD 8FK JQ2 L.- L.0 L7M L~C L~D MBDVC PKEHL PQEST PQUKI Q9U PUEGO |
| ID | FETCH-LOGICAL-c349t-af7ff09413e29dffba6281d5cf8294033b042ef395d2ed40f50d137ec8340ffe3 |
| IEDL.DBID | M0C |
| ISICitedReferencesCount | 3 |
| ISICitedReferencesURI | http://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=Summon&SrcAuth=ProQuest&DestLinkType=CitingArticles&DestApp=WOS_CPL&KeyUT=000374897200014&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D |
| ISSN | 0885-7458 |
| IngestDate | Fri Sep 05 14:05:24 EDT 2025 Tue Nov 04 21:43:27 EST 2025 Tue Nov 18 21:13:15 EST 2025 Sat Nov 29 01:59:42 EST 2025 Fri Feb 21 02:37:21 EST 2025 |
| IsPeerReviewed | true |
| IsScholarly | true |
| Issue | 3 |
| Keywords | Unit tests Correlated variables Parallel programming Automatic testing Race detection Debugging Program analysis |
| Language | English |
| LinkModel | DirectLink |
| MergedId | FETCHMERGED-LOGICAL-c349t-af7ff09413e29dffba6281d5cf8294033b042ef395d2ed40f50d137ec8340ffe3 |
| Notes | SourceType-Scholarly Journals-1 ObjectType-Feature-1 content type line 14 ObjectType-Article-1 ObjectType-Feature-2 content type line 23 |
| PQID | 1783853314 |
| PQPubID | 48389 |
| PageCount | 19 |
| ParticipantIDs | proquest_miscellaneous_1808113997 proquest_journals_1783853314 crossref_citationtrail_10_1007_s10766_015_0363_8 crossref_primary_10_1007_s10766_015_0363_8 springer_journals_10_1007_s10766_015_0363_8 |
| PublicationCentury | 2000 |
| PublicationDate | 20160600 2016-6-00 20160601 |
| PublicationDateYYYYMMDD | 2016-06-01 |
| PublicationDate_xml | – month: 6 year: 2016 text: 20160600 |
| PublicationDecade | 2010 |
| PublicationPlace | New York |
| PublicationPlace_xml | – name: New York |
| PublicationTitle | International journal of parallel programming |
| PublicationTitleAbbrev | Int J Parallel Prog |
| PublicationYear | 2016 |
| Publisher | Springer US Springer Nature B.V |
| Publisher_xml | – name: Springer US – name: Springer Nature B.V |
| References | Katayama, T., Itoh, E., Ushijima, K., Furukawa, Z.: Test-case generation for concurrent programs with the testing criteria using interaction sequences. In: Proceedings of the Sixth Asia Pacific Software Engineering Conference (APSEC ’99). IEEE Computer Society, Washington, DC (1999) Cooper, K.D., Harvey, T.J., Kennedy, K.: A Simple, Fast Dominance Algorithm. Technical Report TR06-38870, Computer Science Department, Rice University, Houston, TX (2006) XuMBodíkRHillMDA serializability violation detector for shared-memory server programsSigplan Not.200540114 Jannesari, A., Tichy, W.F.: On-the-fly race detection in multi-threaded programs. In: Proceedings of the 6th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging. PADTAD ’08, pp. 6:1–6:10. ACM, New York, NY (2008) Luo, Q., Zhang, S., Zhao, J., Hu, M.: A lightweight and portable approach to making concurrent failures reproducible. In: Proceedings of the 13th International Conference on Fundamental Approaches to Software Engineering. FASE’10, pp. 323–337. Springer, Berlin (2010) Microsoft Code gallery for parallel programs. http://code.msdn.microsoft.com/Samples-for-Parallel-b4b76364 Wong, W.E., Lei, Y., Ma, Y.: Effective generation of test sequences for structural testing of concurrent programs. In: 10th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS 2005), pp. 539–548. IEEE Computer Society, Richardson, TX (2005) Nistor, A., Luo, Q., Pradel, M., Gross, T.R., Marinov, D.: Ballerina: automatic generation and clustering of efficient random unit tests for multithreaded code. In: Proceedings of the 2012 International Conference on Software Engineering (ICSE 2012), pp. 727–737. IEEE Press, Piscataway, NJ (2012) Jannesari, A., Tichy, W.F.: Library-independent data race detection. IEEE Transactions on Parallel and Distributed Systems (TPDS), pp. 1–11 (2013) Lu, S., Park, S., Hu, C., Ma, X., Jiang, W., Li, Z., Popa, R.A., Zhou, Y.: MUVI: automatically inferring multi-variable access correlations and detecting related semantic and concurrency bugs. In: SOSP ’07: Proceedings of Twenty-First ACM SIGOPS Symposium on Operating Systems Principles, pp. 103–116. ACM, New York, NY (2007) Jannesari, A., Tichy, W.F.: Identifying ad-hoc synchronization for enhanced race detection. In: IEEE International Symposium on Parallel Distributed Processing (IPDPS), pp. 1–10 (2010) Jannesari, A., Bao, K., Pankratius, V., Tichy, W.F.: Helgrind+: an efficient dynamic race detector. In: IEEE International Symposium on Parallel Distributed Processing (IPDPS), pp. 1–13 (2009) Smart thread pool. http://smartthreadpool.codeplex.com Vaziri, M., Tip, F., Dolby, J.: Associating synchronization constraints with data in an object-oriented language. In: POPL ’06: Conference Record of the 33rd ACM SIGPLAN–SIGACT Symposium on Principles of Programming Languages, pp. 334–345. ACM, New York, NY (2006) Schimmel, J., Molitorisz, K., Jannesari, A., Tichy, W.F.: Automatic generation of parallel unit tests. In: 8th IEEE/ACM International Workshop on Automation of Software Test (AST) (2013) Jannesari, A., Westphal-Furuya, M., Tichy, W.F.: Dynamic data race detection for correlated variables. In: Proceedings of the 11th International Conference on Algorithms and Architectures for Parallel Processing, vol. Part I. ICA3PP’11, pp. 14–26. Springer, Berlin (2011) NethercoteNSewardJValgrind: a framework for heavyweight dynamic binary instrumentationSigplan Not.2007428910010.1145/1273442.1250746 Musuvathi, M., Qadeer, S., Ball, T., Basler, G., Nainar, P.A., Neamtiu, I.: Finding and reproducing heisenbugs in concurrent programs. In: Proceedings of the 8th USENIX Conference on Operating Systems Design and Implementation. OSDI’08, pp. 267–280. USENIX Association, Berkeley, CA (2008) Lu, S., Park, S., Seo, E., Zhou, Y.: Learning from mistakes: a comprehensive study on real world concurrency bug characteristics. In: ASPLOS XIII: Proceedings of the 13th International Conference on Architectural Support for Programming Languages and Operating Systems, pp. 329–339. ACM, New York, NY (2008) Reichl, D.: Keepass password safe. http://keepass.info MusuvathiMQadeerSPueblaGChess: systematic stress testing of concurrent softwareLogic-Based Program Synthesis and Transformation2007BerlinSpringer151610.1007/978-3-540-71410-1_2 Butler, N.: Petridish: multi-threading for performance in c#. http://www.codeproject.com/Articles/26453 363_CR8 363_CR6 363_CR7 363_CR4 363_CR18 363_CR5 363_CR17 363_CR2 N Nethercote (363_CR9) 2007; 42 M Musuvathi (363_CR15) 2007 363_CR3 363_CR19 363_CR14 363_CR1 363_CR13 363_CR16 363_CR10 363_CR20 363_CR12 363_CR11 363_CR22 M Xu (363_CR21) 2005; 40 |
| References_xml | – reference: Wong, W.E., Lei, Y., Ma, Y.: Effective generation of test sequences for structural testing of concurrent programs. In: 10th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS 2005), pp. 539–548. IEEE Computer Society, Richardson, TX (2005) – reference: Smart thread pool. http://smartthreadpool.codeplex.com/ – reference: Reichl, D.: Keepass password safe. http://keepass.info/ – reference: Schimmel, J., Molitorisz, K., Jannesari, A., Tichy, W.F.: Automatic generation of parallel unit tests. In: 8th IEEE/ACM International Workshop on Automation of Software Test (AST) (2013) – reference: Cooper, K.D., Harvey, T.J., Kennedy, K.: A Simple, Fast Dominance Algorithm. Technical Report TR06-38870, Computer Science Department, Rice University, Houston, TX (2006) – reference: Nistor, A., Luo, Q., Pradel, M., Gross, T.R., Marinov, D.: Ballerina: automatic generation and clustering of efficient random unit tests for multithreaded code. In: Proceedings of the 2012 International Conference on Software Engineering (ICSE 2012), pp. 727–737. IEEE Press, Piscataway, NJ (2012) – reference: Jannesari, A., Tichy, W.F.: Identifying ad-hoc synchronization for enhanced race detection. In: IEEE International Symposium on Parallel Distributed Processing (IPDPS), pp. 1–10 (2010) – reference: Musuvathi, M., Qadeer, S., Ball, T., Basler, G., Nainar, P.A., Neamtiu, I.: Finding and reproducing heisenbugs in concurrent programs. In: Proceedings of the 8th USENIX Conference on Operating Systems Design and Implementation. OSDI’08, pp. 267–280. USENIX Association, Berkeley, CA (2008) – reference: Jannesari, A., Tichy, W.F.: On-the-fly race detection in multi-threaded programs. In: Proceedings of the 6th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging. PADTAD ’08, pp. 6:1–6:10. ACM, New York, NY (2008) – reference: Butler, N.: Petridish: multi-threading for performance in c#. http://www.codeproject.com/Articles/26453/ – reference: Jannesari, A., Westphal-Furuya, M., Tichy, W.F.: Dynamic data race detection for correlated variables. In: Proceedings of the 11th International Conference on Algorithms and Architectures for Parallel Processing, vol. Part I. ICA3PP’11, pp. 14–26. Springer, Berlin (2011) – reference: MusuvathiMQadeerSPueblaGChess: systematic stress testing of concurrent softwareLogic-Based Program Synthesis and Transformation2007BerlinSpringer151610.1007/978-3-540-71410-1_2 – reference: Lu, S., Park, S., Seo, E., Zhou, Y.: Learning from mistakes: a comprehensive study on real world concurrency bug characteristics. In: ASPLOS XIII: Proceedings of the 13th International Conference on Architectural Support for Programming Languages and Operating Systems, pp. 329–339. ACM, New York, NY (2008) – reference: Lu, S., Park, S., Hu, C., Ma, X., Jiang, W., Li, Z., Popa, R.A., Zhou, Y.: MUVI: automatically inferring multi-variable access correlations and detecting related semantic and concurrency bugs. In: SOSP ’07: Proceedings of Twenty-First ACM SIGOPS Symposium on Operating Systems Principles, pp. 103–116. ACM, New York, NY (2007) – reference: Vaziri, M., Tip, F., Dolby, J.: Associating synchronization constraints with data in an object-oriented language. In: POPL ’06: Conference Record of the 33rd ACM SIGPLAN–SIGACT Symposium on Principles of Programming Languages, pp. 334–345. ACM, New York, NY (2006) – reference: Jannesari, A., Bao, K., Pankratius, V., Tichy, W.F.: Helgrind+: an efficient dynamic race detector. In: IEEE International Symposium on Parallel Distributed Processing (IPDPS), pp. 1–13 (2009) – reference: NethercoteNSewardJValgrind: a framework for heavyweight dynamic binary instrumentationSigplan Not.2007428910010.1145/1273442.1250746 – reference: Luo, Q., Zhang, S., Zhao, J., Hu, M.: A lightweight and portable approach to making concurrent failures reproducible. In: Proceedings of the 13th International Conference on Fundamental Approaches to Software Engineering. FASE’10, pp. 323–337. Springer, Berlin (2010) – reference: Microsoft Code gallery for parallel programs. http://code.msdn.microsoft.com/Samples-for-Parallel-b4b76364 – reference: XuMBodíkRHillMDA serializability violation detector for shared-memory server programsSigplan Not.200540114 – reference: Jannesari, A., Tichy, W.F.: Library-independent data race detection. IEEE Transactions on Parallel and Distributed Systems (TPDS), pp. 1–11 (2013) – reference: Katayama, T., Itoh, E., Ushijima, K., Furukawa, Z.: Test-case generation for concurrent programs with the testing criteria using interaction sequences. In: Proceedings of the Sixth Asia Pacific Software Engineering Conference (APSEC ’99). IEEE Computer Society, Washington, DC (1999) – volume: 42 start-page: 89 year: 2007 ident: 363_CR9 publication-title: Sigplan Not. doi: 10.1145/1273442.1250746 – ident: 363_CR19 – ident: 363_CR12 doi: 10.1109/ICECCS.2005.37 – volume: 40 start-page: 1 year: 2005 ident: 363_CR21 publication-title: Sigplan Not. – ident: 363_CR1 doi: 10.1145/1346281.1346323 – ident: 363_CR13 doi: 10.1109/ICSE.2012.6227145 – ident: 363_CR11 doi: 10.1109/APSEC.1999.809654 – ident: 363_CR22 doi: 10.1145/1111320.1111067 – ident: 363_CR5 – ident: 363_CR6 doi: 10.1109/IPDPS.2010.5470343 – ident: 363_CR17 – ident: 363_CR18 – ident: 363_CR16 – ident: 363_CR14 – start-page: 15 volume-title: Logic-Based Program Synthesis and Transformation year: 2007 ident: 363_CR15 doi: 10.1007/978-3-540-71410-1_2 – ident: 363_CR8 doi: 10.1145/1390841.1390847 – ident: 363_CR10 doi: 10.1007/978-3-642-12029-9_23 – ident: 363_CR7 doi: 10.1109/IPDPS.2009.5160998 – ident: 363_CR2 doi: 10.1109/IWAST.2013.6595789 – ident: 363_CR3 doi: 10.1007/978-3-642-24650-0_3 – ident: 363_CR20 – ident: 363_CR4 doi: 10.1145/1294261.1294272 |
| SSID | ssj0009788 |
| Score | 2.041199 |
| Snippet | A notorious class of concurrency bugs are race condition related to correlated variables, which make up about 30 % of all non-deadlock concurrency bugs. A... Issue Title: Special Issue on High-Level Parallel Programming and Applications A notorious class of concurrency bugs are race condition related to correlated... A notorious class of concurrency bugs are race condition related to correlated variables, which make up about 30 % of all non-deadlock concurrency bugs. A... |
| SourceID | proquest crossref springer |
| SourceType | Aggregation Database Enrichment Source Index Database Publisher |
| StartPage | 644 |
| SubjectTerms | Analysis Automation Computer programming Computer Science Concurrency Correlation Debugging Estimates Generators Parallel processing Parallel programming Processor Architectures Race Redundant Semantics Software Software Engineering/Programming and Operating Systems Studies Theory of Computation Variables |
| SummonAdditionalLinks | – databaseName: SpringerLINK Contemporary 1997-Present dbid: RSV link: http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwnV1LS8NAEB60evBifWK0ygqelECSzWZ3j6VYPJWgtfQW8tiFQkmlSf39zubRVlFBjyGTSZjdyXzDzM4HcIcxVypumsL8ABOUxFO2TDS3WcZjTYVGhB1XZBN8NBLTqQybc9xF2-3eliSrP_XWYTcemOwX9Zrio9iFPYx2wvA1PL9MNpN2eUU2id7DbO4z0ZYyv1PxORhtEOaXomgVa4bdf33lERw20JL0671wDDsqP4FuS9tAGi8-hbC_KhfVpFZSD502a0MWmhj8Scb4aQVBKEsGhrhjjlg0IxPMqM0Zq4LMchLGS0PAMidh3dtVnMHr8HE8eLIbYgU7pb4s7VhzrTGvc6nyZKZ1Egce4laWauFJ36E0QVdWmkqWeSrzHc2czKVcpYLihVb0HDr5IlcXQFARS6UBLmmCWARjW2AkFVdMJUnCLHBaC0dpM3XckF_Mo828ZGOxCC0WGYtFwoL79SNv9ciN34R77bJFjfcVkcsFRRhCXd-C2_Vt9BtTDIlztVihjKEcQfgruQUP7VJuqfjphZd_kr6CA0RYQd1b1oNOuVypa9hP38tZsbypNu4HWQbmpA priority: 102 providerName: Springer Nature |
| Title | Automatic Generation of Unit Tests for Correlated Variables in Parallel Programs |
| URI | https://link.springer.com/article/10.1007/s10766-015-0363-8 https://www.proquest.com/docview/1783853314 https://www.proquest.com/docview/1808113997 |
| Volume | 44 |
| WOSCitedRecordID | wos000374897200014&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D |
| hasFullText | 1 |
| inHoldings | 1 |
| isFullTextHit | |
| isPrint | |
| journalDatabaseRights | – providerCode: PRVPQU databaseName: ABI/INFORM Global (OCUL) customDbUrl: eissn: 1573-7640 dateEnd: 20171231 omitProxy: false ssIdentifier: ssj0009788 issn: 0885-7458 databaseCode: M0C dateStart: 19970201 isFulltext: true titleUrlDefault: https://search.proquest.com/abiglobal providerName: ProQuest – providerCode: PRVPQU databaseName: ABI商业信息数据库 customDbUrl: eissn: 1573-7640 dateEnd: 20171231 omitProxy: false ssIdentifier: ssj0009788 issn: 0885-7458 databaseCode: 7WY dateStart: 19970201 isFulltext: true titleUrlDefault: https://www.proquest.com/abicomplete providerName: ProQuest – providerCode: PRVPQU databaseName: Advanced Technologies & Aerospace Database customDbUrl: eissn: 1573-7640 dateEnd: 20171231 omitProxy: false ssIdentifier: ssj0009788 issn: 0885-7458 databaseCode: P5Z dateStart: 19970201 isFulltext: true titleUrlDefault: https://search.proquest.com/hightechjournals providerName: ProQuest – providerCode: PRVPQU databaseName: Computer Science Database customDbUrl: eissn: 1573-7640 dateEnd: 20171231 omitProxy: false ssIdentifier: ssj0009788 issn: 0885-7458 databaseCode: K7- dateStart: 19970201 isFulltext: true titleUrlDefault: http://search.proquest.com/compscijour providerName: ProQuest – providerCode: PRVPQU databaseName: ProQuest Central customDbUrl: eissn: 1573-7640 dateEnd: 20171231 omitProxy: false ssIdentifier: ssj0009788 issn: 0885-7458 databaseCode: BENPR dateStart: 19970201 isFulltext: true titleUrlDefault: https://www.proquest.com/central providerName: ProQuest – providerCode: PRVPQU databaseName: Research Library (ProQuest) customDbUrl: eissn: 1573-7640 dateEnd: 20171231 omitProxy: false ssIdentifier: ssj0009788 issn: 0885-7458 databaseCode: M2O dateStart: 19970201 isFulltext: true titleUrlDefault: https://search.proquest.com/pqrl providerName: ProQuest – providerCode: PRVAVX databaseName: SpringerLINK Contemporary 1997-Present customDbUrl: eissn: 1573-7640 dateEnd: 99991231 omitProxy: false ssIdentifier: ssj0009788 issn: 0885-7458 databaseCode: RSV dateStart: 19970101 isFulltext: true titleUrlDefault: https://link.springer.com/search?facet-content-type=%22Journal%22 providerName: Springer Nature |
| link | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwpV1LS8QwEB509eDF9YnrY4ngSSl2m6ZpTqKLIohr8a2X0kcCwtLqdtff70wfrgp68RIITZvQyWS-ZCbzAeyhzVVaUlCY6-EGJXa0pWIjLZHKyHDfIMKOSrIJORj4j48qqA_cijqsslkTy4U6zRM6Iz_sSZ-jaeE99-j1zSLWKPKu1hQaszBHyIZC-i7t_jTprix5J1GRhCVd4TdezerqnPRoL42jJFem_90uTcHmD_9oaXbO2v8d8BIs1oCTHVczZBlmdLYC7YbMgdW6vQrB8WScl_lbWZWKmiTGcsMIlbJb7LdgCHBZn-g8hohQU3aP-2y6eVWwl4wF0YhoWYYsqCK-ijW4Ozu97Z9bNd2ClXBXja3ISGNwt9fj2lGpMXHkOYhmRWJ8R7k25zEquDZcidTRqWsbYac9LnXic6wYzdehleWZ3gCGHxKJIjiTxIhQ0OJ51FJLLXQcx6IDdvOzw6TORU6UGMNwmkWZ5BOifEKST-h3YP_zldcqEcdfjbcbmYS1ThbhVCAd2P18jNpELpIo0_kE2xARCYJiJTtw0Ej-yyd-63Dz7w63YAGBlleFmG1Dazya6B2YT97HL8WoC7Py4akLcyeng-AaaxfS6pYTmUrnCstAPGN5fXP_AUH3948 |
| linkProvider | ProQuest |
| linkToHtml | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMw1V1LT9wwEB7xkuBSoFB1KVAjwQUUsRvHsX1ACPEQaGG1hy3iFuLElpBWCWx2qfqn-hs7kwdbKsGNQ49RHFt2vpn5nHHmA9jFmKutpENhQYgbFONbTxsnPZHK2HHlkGHHpdiE7PXU3Z3uz8Dv5l8YOlbZ-MTSUad5Qt_IDztScQwtvBMcPz55pBpF2dVGQqOCRdf--olbtuLo6gzf757vX5wPTi-9WlXAS3igx17spHO4qelw6-vUOROHPpI2kTjl66DNuUEcW8e1SH2bBm0n2mmHS5sojhfOcux3FuYDriTZVVd60yK_stS5RMMVngyEarKo1a96MqS9O64KpU7V6zg4Jbf_5GPLMHex_L8t0Ap8qgk1O6ksYBVmbPYZlhuxClb7rjXon0zGeVmfllWltgmRLHeMWDcb4DwLhgSenZJcyRAZeMpuY7ROM7QFe8hYPx6R7MyQ9asTbcU6_PiQeX2BuSzP7Fdg2JFINNG1xCADw4geUksrrbDGGNGCdvNyo6SutU6SH8NoWiWa8BAhHiLCQ6RasP_yyGNVaOS9xpsNBqLa5xTRFAAt2Hm5jd6CUkBxZvMJtiGhFST9WrbgoEHaX128NeDG-wN-h8XLwc11dH3V636DJSSVYXWcbhPmxqOJ3YKF5Hn8UIy2S4NhcP_RAPwD6IdO1w |
| linkToPdf | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMw1V1LS-RAEC5cXRYvPnYVx2cLelkJzqTT6fRBRNRBUYYcXBEvMZ10gzAkOplR_Gv-OqvycFZBbx48hnQ6pPN11VepSn0AW-hzlZFUFOb5GKBo1zhKW-mIVMaWBxYZdlyKTcheL7i6UuEEPDf_wlBZZWMTS0Od5gl9I9_tyICja-Edb9fWZRHhUXf_7t4hBSnKtDZyGhVEzszTI4Zvxd7pEb7rbdftHl8cnji1woCTcE8NndhKazHA6XDjqtRaHfsuEjiR2MBVXptzjZg2liuRuib12la00w6XJgk4HljDcd4fMCUxxqRywlBcjxv-ylLzEjexcKQngiajWv22J32K43GFKI0avPWJY6L7Ljdburzu7HderDmYqYk2O6h2xjxMmOw3zDYiFqy2aX8gPBgN87JvLatacBNSWW4ZsXF2gc9cMCT27JBkTPrIzFN2GeOu1X1TsNuMhfGA5Gj6LKwq3YoF-Pclz7UIk1memSVgOJFIFNG4RCMzQ0_v00gjjTBaa9GCdvOio6TuwU5SIP1o3D2asBEhNiLCRhS04O_rJXdVA5LPBq82eIhqW1REYzC0YPP1NFoRSg3FmclHOIYEWDAYULIFOw3q_pvioxsuf37DDfiFuIvOT3tnKzCNXNOvquxWYXI4GJk1-Jk8DG-LwXq5dxjcfDX-XgCmXFf7 |
| openUrl | ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.atitle=Automatic+Generation+of+Unit+Tests+for+Correlated+Variables+in+Parallel+Programs&rft.jtitle=International+journal+of+parallel+programming&rft.au=Jannesari%2C+Ali&rft.au=Wolf%2C+Felix&rft.date=2016-06-01&rft.pub=Springer+Nature+B.V&rft.issn=0885-7458&rft.eissn=1573-7640&rft.volume=44&rft.issue=3&rft.spage=644&rft_id=info:doi/10.1007%2Fs10766-015-0363-8&rft.externalDBID=HAS_PDF_LINK&rft.externalDocID=4033358321 |
| thumbnail_l | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=0885-7458&client=summon |
| thumbnail_m | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=0885-7458&client=summon |
| thumbnail_s | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=0885-7458&client=summon |