cist.buct.edu.cn
Zheng, Ph.D, Professor
http://cist.buct.edu.cn/staff/zheng
Beijing University of Chemical Technology. I am a professor in Department of Computer Science, College of Information Science and Technology. At Beijing University of Chemical Techology. I hold a PhD degree in Computer Science from King's College London. Supervised by Mark Harman. I am teaching Software Engineering. I've orgnized a GPGPU seminar. Visit my My google profile. And My Microsoft Academic. Since May, 2005. Publicity chair of the ICST 2015. PC Member: TAIC PART 2015. PC Member: IEEE/ACM AST 2014.
questlab.pk
QUEST Lab
http://questlab.pk/detailednews.html
Paper accepted at ECMFA. Paper titled "AspectOCL: An extension to OCL for specifying crosscutting constraints" has been accepted at ECMFA 2015, L’Aquila, Italy. Paper accepted at ECMFA. Paper titled "Empirical Evaluation of Productivity of Software Engineer in UML Modeling Tools- A Controlled Experiment" has been accepted at ECMFA 2015, L’Aquila, Italy. Paper accepted at ISSTA. Paper accepted at APSEC. April 13, 2015 - April 17, 2015. July 20, 2015 - July 24, 2015. September 5 - September 7, 2015.
weissleder.info
Stephan Weissleder
http://www.weissleder.info/conferences.html
Work in Program Committees. Dr Stephan Weißleder. I also organized modeling and testing events or supported the organizers in the organization. This page shows a short list of these events. Lightning Talk about the Relationship of Development and Test at the German Testing Day. Berlin, Germany, 07/2014. Keynote about Emerging Trends in Testing at the Malaysian Testing Board. Kuala Lumpur, Malaysia, 10/2012. California, USA, 07/2014. Lugano, Switzerland, July 15, 2013. Germany, Berlin, 05/2013. The first ...
iisc-seal.net
Aditya Kanade - Software Engineering and Analysis Lab (SEAL), IISc Bangalore
http://www.iisc-seal.net/kanade
Software Engineering and Analysis Lab (SEAL), IISc Bangalore. E0 323: Topics in Automated Verification. E0239: Software Reliability Techniques. MintHint: Automated Synthesis of Repair Hints. New bugs discovered by SparseRacer. Associate Professor of Computer Science and Automation. Indian Institute of Science. Bangalore - 560012, India. Software Engineering and Analysis Lab (SEAL). CSA 209 (first floor). Kanade@csa.iisc.ernet.in. Semi-supervised verified feedback generation [FSE'16]. 2012, ICISS 2012, IC...
madabouttesting.blogspot.com
Mad About Testing: January 2015
http://madabouttesting.blogspot.com/2015_01_01_archive.html
I wish my readers a good time here and otherwise! Thursday, January 1, 2015. Testing Conferences in 2015. Great Lakes Software Excellence Conference. Innovations in Testing 2015. Next Generation Testing Conference. World Conference Next Generation Testing. Subscribe to: Posts (Atom). Testing Conferences in 2015. Http:/ kapil-saxena.blogspot.in. Http:/ testertested.blogspot.in/. Http:/ www.developsense.com/blog/. Http:/ www.kohl.ca/blog/. Http:/ www.satisfice.com/. In my free time. Test Plan and Strategy.
aster.or.jp
InSTA 2015
http://aster.or.jp/workshops/insta2015
2nd International Workshop on Software Test Architecture. 13 April 2015, Graz, Austria. Program / Presentation Download. It is important to design better software test architectures for software testing activities. The software test architecture is a key part of the test strategy. 2015/05/07 Presentation download has been added. 2015/04/07 Program has been slightly changed. 2015/03/18 Program has been opened. 2015/01/20 Paper submission deadline has been extended to 6 February. 2014/10/13 Official: the w...
www2015.taicpart.org
TAIC PART 2015
http://www.www2015.taicpart.org/index.html
Testing: Academic and Industrial Conference - Practice and Research Techniques. Conference date and location:. 17 April 2015, Graz, Austria. TAIC PART 2015 invites papers on software testing, verification and validation of the following types:. Industry experience reports - practical and generalizable insights into how to apply and extend existing approaches to software testing and analysis. We invite submissions of the following types:. Please refer to the submission page for more details on formatting ...
thomas-zimmermann.com
Activities
http://thomas-zimmermann.com/activities
Program Committee Co-Chair – ICSME 2017. 33nd IEEE International Conference on Software Maintenance and Evolution. General Chair – SIGSOFT FSE 2016. 24th ACM SIGSOFT International Symposium on the Foundations of Software Engineering. Program Committee Member – SCAM 2016. 16th IEEE International Working Conference on Source Code Analysis and Manipulation. Program Committee Member – ICSME 2016. 32nd IEEE International Conference on Software Maintenance and Evolution. Co-organizer – BIGDSE 2016. 38th Intern...
robindavid.fr
Robin David
http://www.robindavid.fr/publications/publications.html
Finding the Needle in the Heap: Combining Static Analysis and Dynamic Symbolic Execution to Trigger Use-After-Free. Josselin Feist, Laurent Mounier, Sébastien Bardin, Marie-Laure Potet, Robin David. Specification of Concretization and Symbolization Policies in Symbolic Execution. Robin David, Sébastien Bardin, Josselin Feist, Laurent Mounier, Marie-Laure Potet, Thanh Dinh Ta, Jean-Yves Marion. BINSEC/SE: A Dynamic Symbolic Execution Toolkit for Binary-level Analysis. And the LUncov is downloadable here.
